{ "labelLang" : "hun", "responseDate" : "2024-03-29 07:44", "content" : { "otype" : "BookChapter", "mtid" : 26282740, "status" : "ADMIN_APPROVED", "published" : true, "comment" : "A4 Southwest Jiaotong University; Systems Engineering Society of China; Technical Committee on \nControl Theory (TCCT), CAA", "unhandledTickets" : 0, "oldTimestamp" : "2018-01-30T14:20:15.000+0000", "deleted" : false, "oldId" : 16282740, "lastRefresh" : "2024-01-26T15:46:26.924+0000", "lastModified" : "2018-10-12T21:20:59.138+0000", "created" : "2017-01-05T16:17:36.000+0000", "creator" : { "otype" : "Admin", "mtid" : 10034189, "link" : "/api/admin/10034189", "label" : "Farkas Marika (admin)", "familyName" : "Farkas", "givenName" : "Marika", "published" : true, "oldId" : 10034189, "snippet" : true }, "lastDuplumOK" : "2018-10-22T14:10:45.884+0000", "lastDuplumSearch" : "2018-10-22T14:10:45.884+0000", "adminApproved" : "2017-02-15T17:41:00.000+0000", "adminApprover" : { "otype" : "Admin", "mtid" : 10015181, "link" : "/api/admin/10015181", "label" : "Nagy Eszter (SZTA admi, admin)", "familyName" : "Nagy", "givenName" : "Eszter", "published" : true, "oldId" : 10015181, "snippet" : true }, "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Konferenciaközlemény (Könyvrészlet)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "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" : "Liu, H", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 62254736, "link" : "/api/authorship/62254736", "label" : "Liu, H", "listPosition" : 1, "share" : 0.0, "first" : true, "last" : false, "familyName" : "Liu", "givenName" : "H", "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" : 127419958, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 62254737, "link" : "/api/authorship/62254737", "label" : "Chen, L", "listPosition" : 2, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Chen", "givenName" : "L", "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" : 127419957, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 62254738, "link" : "/api/authorship/62254738", "label" : "Schnieder, E", "listPosition" : 3, "share" : 0.0, "first" : false, "last" : true, "familyName" : "Schnieder", "givenName" : "E", "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" : 127419956, "snippet" : true } ], "title" : "Formal modeling and performance analysis of safety communication protocol in train control system", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 11916089, "link" : "/api/publicationidentifier/11916089", "label" : "DOI: 10.1109/ChiCC.2016.7554977", "source" : { "otype" : "PlainSource", "mtid" : 6, "link" : "/api/publicationsource/6", "label" : "DOI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10001, "link" : "/api/publicationsourcetype/10001", "label" : "DOI", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "DOI", "nameEng" : "DOI", "linkPattern" : "https://doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "validState" : "NO", "idValue" : "10.1109/ChiCC.2016.7554977", "realUrl" : "https://doi.org/10.1109/ChiCC.2016.7554977", "published" : false, "oldId" : 13938469, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 11916087, "link" : "/api/publicationidentifier/11916087", "label" : "WoS: 000400282206037", "source" : { "otype" : "PlainSource", "mtid" : 1, "link" : "/api/publicationsource/1", "label" : "WoS", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "WoS", "nameEng" : "WoS", "linkPattern" : "https://www.webofscience.com/wos/woscc/full-record/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 1, "snippet" : true }, "validState" : "NO", "idValue" : "000400282206037", "realUrl" : "https://www.webofscience.com/wos/woscc/full-record/000400282206037", "published" : false, "oldId" : 16509102, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 11916088, "link" : "/api/publicationidentifier/11916088", "label" : "Scopus: 84987904224", "source" : { "otype" : "PlainSource", "mtid" : 3, "link" : "/api/publicationsource/3", "label" : "Scopus", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Scopus", "linkPattern" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@", "publiclyVisible" : true, "published" : true, "oldId" : 3, "snippet" : true }, "validState" : "NO", "idValue" : "84987904224", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84987904224", "published" : false, "oldId" : 13938468, "snippet" : true } ], "firstPage" : "10248", "lastPage" : "10252", "internalId" : "7554977", "firstPageOrInternalIdForSort" : "10248, 7554977", "pageLength" : 5, "publishedYear" : 2016, "digital" : null, "printed" : null, "sourceYear" : 2017, "packet" : "(Farkas Marika; 2017.01.05. 17:17:25)", "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : false, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2024-01-26", "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" : 1, "citedCount" : 1, "referenceList" : "(2001) CENELEC en 50159-2 Railway Applications-Safety Related Communication in Open Transmission Systems[S], , Brussels, CENELEC; \n\n(2003) Euroradio FIS: Class 1 Requirements[EB/OL][S], , http://www.atif.org/db/doe/com/SUBSET-037V225; \n\nEsposito, R., Lazzaro, A., Marmo, P., (2005) Formal Verification of ERTMS EURORADIO Safety Critical Protocol[R], , Italy: Ansaldo Segnalamento Ferroviario S. p. A; \n\nLee, J.H., Hwang, J.G., Park, G.T., Performance evaluation and verification of communication protocol for railway signaling systems[J] (2005) Computer Standards, Interfaces in Elsevier, 27, pp. 207-219; \n\nLee, J.D., Jung, J.I., Lee, J.H., Verification and conformance test generation of communication protocol for railway signaling systems[J] (2007) Computer Standards & Interfaces in Elsevier, 29, pp. 143-151; \n\nLee, J.H., Hwang, J.G., Shin, D., Development of verification and conformance testing tools for a railway signaling communication protocol[J] (2009) Computer Standards & Interfaces in Elsevier, 31, pp. 362-371; \n\nNemeth, E., Bartha, T., Fazekas, C.S., Hangos, K.M., Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using colored Petri nets (2009) Reliability Engineering & System Safety., 94 (5), pp. 942-953; \n\nChen, L., Tang, T., Zhao, X., Eckehard, S., Verification of safety communication protocol in train control system using colored Petri net [J] (2012) Reliability Engineering & System Safety, 100, pp. 8-18; \n\nChen, L.-J., Shan, Z., Tang, T., Liu, H.-J., Performance analysis and verification of safety communication protocol in train control system [J] (2011) Computer Standards & Interfaces, 33 (5), pp. 505-518; \n\nChen, L.-J., Shan, Z.-Y., Tang, T., Formal analysis on safety communication protocol in train control system (2012) JOURNAL of the China RAILWAY SOCIETY, 34 (7), pp. 70-76; \n\nZhang, S., (2008) CTCS-3 JI LIEKONG XITONG JISHU CHUANGXIN ZONGTI FANGAN, , Beijing: CHINA RAILWAY PUBLISHING HOUSE; \n\nDubois, D., Prade, H., (1998) Possibility Theory: An Approach to Computerized Processing of Uncertainty, , Plenum: New York", "hasCitationDuplums" : false, "userChangeableUntil" : "2017-02-15T17:41:00.000+0000", "publishDate" : "2017-01-05T16:17:48.000+0000", "directInstitutesForSort" : "", "ownerAuthorCount" : 3, "ownerInstituteCount" : 20, "directInstituteCount" : 0, "authorCount" : 3, "contributorCount" : 0, "book" : { "otype" : "Book", "mtid" : 30244595, "link" : "/api/publication/30244595", "label" : "Chen J. 35th Chinese Control Conference, CCC 2016. (2016) ISBN:9789881563910", "core" : false, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000144, "link" : "/api/subtype/10000144", "label" : "Konferenciakötet (Könyv)", "name" : "Konferenciakötet", "nameEng" : "Conference proceedings", "docType" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "listPosition" : 345, "published" : true, "oldId" : 10000144, "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 } ], "title" : "35th Chinese Control Conference, CCC 2016", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 11575070, "link" : "/api/publicationidentifier/11575070", "label" : "ISBN: 9789881563910", "source" : { "otype" : "PlainSource", "mtid" : 122, "link" : "/api/publicationsource/122", "label" : "ISBN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISBN", "nameEng" : "ISBN", "linkPattern" : "https://www.worldcat.org/search?q=isbn%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 122, "snippet" : true }, "validState" : "IDENTICAL", "idValue" : "9789881563910", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9789881563910", "published" : false, "snippet" : true } ], "publishedAt" : [ { "otype" : "City", "mtid" : 10939, "link" : "/api/city/10939", "label" : "Piscataway (NJ), Amerikai Egyesült Államok", "partOf" : { "otype" : "Country", "mtid" : 10017, "link" : "/api/country/10017", "label" : "Amerikai Egyesült Államok", "published" : true, "oldId" : 13, "snippet" : true }, "published" : true, "oldId" : 2054246, "snippet" : true } ], "publishedYear" : 2016, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "nationalOrigin" : false, "published" : true, "snippet" : true }, "hasQualityFactor" : false, "link" : "/api/publication/26282740", "label" : "Liu H et al. Formal modeling and performance analysis of safety communication protocol in train control system. (2016) Megjelent: 35th Chinese Control Conference, CCC 2016 pp. 10248-10252", "template" : "