{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:30:46Z","timestamp":1725496246089},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/prdc.2004.1276579","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T14:19:45Z","timestamp":1086877185000},"page":"292-301","source":"Crossref","is-referenced-by-count":2,"title":["A freshness detection mechanism for railway applications"],"prefix":"10.1109","author":[{"given":"A.","family":"Bondavalli","sequence":"first","affiliation":[]},{"given":"E.","family":"De Giudici","sequence":"additional","affiliation":[]},{"given":"S.","family":"Porcarelli","sequence":"additional","affiliation":[]},{"given":"S.","family":"Sabina","sequence":"additional","affiliation":[]},{"given":"F.","family":"Zanini","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"The GNU C Library Reference Manual 0 10 Edition For Version 2 2 X","year":"0","author":"oram","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-1663-7"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805821"},{"journal-title":"Simulation Modeling and Analysis","year":"2000","author":"law","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2001.990630"},{"journal-title":"SATURNO Interfaccia Standard Unificata - Specifica Funzionale (Parte 2)","year":"2002","author":"alstom","key":"2"},{"journal-title":"EURORADIO FIS","year":"2002","author":"adtranz","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ISADS.2003.1193942"},{"journal-title":"Railway Applications - Part2 Requirements for Safety-related Communication in Open Transmission Systems","year":"2001","key":"7"},{"journal-title":"Railway Applications - Communication Signalling and Processing Systems - Software for Railway Control and Protection Systems","year":"2001","key":"6"},{"journal-title":"Railway Applications - The Specification and Demonstration of Reliability Availability Maintainability and Safety (RAMS)","year":"1998","key":"5"},{"journal-title":"Railway Application Safety Related Electronic Systems for Signaling","year":"1994","key":"4"},{"key":"9","first-page":"282","article-title":"Fail awareness: An approach to construct fail-safe applications","author":"fetzer","year":"1997","journal-title":"Proc 27th Int Conf on Fault-Tolerant Computing Systems (FTCS-27)"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/DCFTS.1999.814298"}],"event":{"name":"10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004.","location":"Papeete, Tahiti, French Polynesia"},"container-title":["10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8995\/28541\/01276579.pdf?arnumber=1276579","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T03:51:54Z","timestamp":1489463514000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1276579\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/prdc.2004.1276579","relation":{},"subject":[]}}