{ "labelLang" : "hun", "responseDate" : "2024-03-28 13:01", "content" : { "otype" : "PublicationOther", "mtid" : 26785913, "status" : "ADMIN_APPROVED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2018-09-20T08:18:28.000+0000", "deleted" : false, "oldId" : 16785913, "lastRefresh" : "2019-07-27T08:46:09.699+0000", "lastModified" : "2018-09-20T08:18:28.000+0000", "created" : "2017-08-21T05:14:45.000+0000", "creator" : { "otype" : "Author", "mtid" : 10046994, "link" : "/api/author/10046994", "label" : "Darvas Dániel (Informatika)", "familyName" : "Darvas", "givenName" : "Dániel", "published" : true, "oldId" : 10046994, "snippet" : true }, "lastDuplumOK" : "2018-10-19T19:14:07.560+0000", "lastDuplumSearch" : "2018-10-20T00:51:56.611+0000", "adminApproved" : "2018-09-20T08:18:28.000+0000", "adminApprover" : { "otype" : "Admin", "mtid" : 10025856, "link" : "/api/admin/10025856", "label" : "Zsiga Sándor (BME admin 5)", "familyName" : "Zsiga", "givenName" : "Sándor", "published" : true, "oldId" : 10025856, "snippet" : true }, "core" : false, "citation" : true, "type" : { "otype" : "PublicationType", "mtid" : 29, "link" : "/api/publicationtype/29", "label" : "Egyéb", "code" : 29, "otypeName" : "PublicationOther", "listPosition" : 15, "published" : true, "oldId" : 29, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000221, "link" : "/api/subtype/10000221", "label" : "Diplomamunka, szakdolgozat, TDK dolgozat (Egyéb)", "name" : "Diplomamunka, szakdolgozat, TDK dolgozat", "nameEng" : "Diploma thesis, Report of Scientific Students Association", "docType" : { "otype" : "PublicationType", "mtid" : 29, "link" : "/api/publicationtype/29", "label" : "Egyéb", "code" : 29, "otypeName" : "PublicationOther", "listPosition" : 15, "published" : true, "oldId" : 29, "snippet" : true }, "listPosition" : 1583, "published" : true, "oldId" : 10000221, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "firstAuthor" : "Mohammad, Heidari", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 69896759, "link" : "/api/authorship/69896759", "label" : "Mohammad, Heidari", "listPosition" : 1, "share" : 0.0, "first" : true, "last" : false, "familyName" : "Mohammad", "givenName" : "Heidari", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 142132912, "snippet" : true } ], "title" : "Runtime verification of a PLC system: An industrial case study", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 12883026, "link" : "/api/publicationidentifier/12883026", "label" : "Teljes dokumentum: http://www.diva-portal.org/smash/get/diva2:1113375/FULLTEXT01.pdf", "source" : { "otype" : "PlainSource", "mtid" : 39, "link" : "/api/publicationsource/39", "label" : "Teljes dokumentum", "type" : { "otype" : "PublicationSourceType", "mtid" : 10006, "link" : "/api/publicationsourcetype/10006", "label" : "Link", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "Teljes dokumentum", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 39, "snippet" : true }, "validState" : "NO", "idValue" : "http://www.diva-portal.org/smash/get/diva2:1113375/FULLTEXT01.pdf", "realUrl" : "http://www.diva-portal.org/smash/get/diva2:1113375/FULLTEXT01.pdf", "published" : false, "oldId" : 15447934, "snippet" : true } ], "firstPageOrInternalIdForSort" : "", "pageLength" : 60, "publishedYear" : 2017, "digital" : null, "printed" : null, "sourceYear" : 2017, "foreignEdition" : null, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : false, "nationalOrigin" : false, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2019-07-27", "oaFree" : false, "citationCount" : 0, "citationCountUnpublished" : 0, "citationCountWoOther" : 0, "independentCitCountWoOther" : 0, "doiCitationCount" : 0, "wosCitationCount" : 0, "scopusCitationCount" : 0, "independentCitationCount" : 0, "unhandledCitationCount" : 0, "citingPubCount" : 0, "independentCitingPubCount" : 0, "unhandledCitingPubCount" : 0, "citedPubCount" : 5, "citedCount" : 5, "hasCitationDuplums" : false, "userChangeableUntil" : "2018-09-20T08:18:28.000+0000", "publishDate" : "2017-09-29T08:59:29.000+0000", "directInstitutesForSort" : "", "ownerAuthorCount" : 4, "ownerInstituteCount" : 11, "directInstituteCount" : 0, "authorCount" : 1, "contributorCount" : 0, "description1" : "Malardalen University, Vasteras, Sweden", "description2" : "Supervisor: Adnan Causevic", "hasQualityFactor" : false, "link" : "/api/publication/26785913", "label" : "Mohammad Heidari. Runtime verification of a PLC system: An industrial case study. (2017)", "template" : "