{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T15:08:23Z","timestamp":1725721703266},"publisher-location":"London","reference-count":9,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199625"},{"type":"electronic","value":"9781447130543"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3054-3_15","type":"book-chapter","created":{"date-parts":[[2013,4,8]],"date-time":"2013-04-08T23:33:23Z","timestamp":1365464003000},"page":"206-218","source":"Crossref","is-referenced-by-count":0,"title":["Formally Verified Firmware Modules for Industrial Process Automation"],"prefix":"10.1007","author":[{"given":"Wolfgang A.","family":"Halang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd J.","family":"Kr\u00e4mer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norbert","family":"V\u00f6lker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","volume-title":"Een methode van programmeren","author":"EW Dijkstra","year":"1984","unstructured":"Dijkstra EW, Feijen WHJ. Een methode van programmeren. Academic service cop., 1984"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/978-1-4612-3658-0_10","volume-title":"Current Trends in Hardware Verification and Automated Theorem Proving","author":"MJC Gordon","year":"1989","unstructured":"Gordon MJC. Mechanizing Programming Logics in Higher Order Logic. In: Current Trends in Hardware Verification and Automated Theorem Proving, Birtwistle G and Subrahmanyam PA (eds.), pp 387 \u2013 439. New York-Berlin-Heidelberg-London-Paris-Tokyo: SpringerVerlag 1989"},{"issue":"2","key":"15_CR3","first-page":"179","volume":"1","author":"WA Halang","year":"1994","unstructured":"Halang WA, Jung S-K. A Programmable Logic Controller for Safety Critical Systems. High Integrity Systems 1994; 1, 2: 179 \u2013 193","journal-title":"High Integrity Systems"},{"key":"15_CR4","volume-title":"Formally Verified Building Blocks in Functional Logic Diagrams for Emergency Shutdown System Design","author":"WA Halang","year":"1995","unstructured":"Halang WA, Kr\u00e4mer BJ, V\u00f6lker N. Formally Verified Building Blocks in Functional Logic Diagrams for Emergency Shutdown System Design. To appear in High Integrity Systems 1995"},{"key":"15_CR5","unstructured":"IEC International Standard 1131\u20133. Programmable Controllers, Part 3: Programming Languages. Geneva: International Electrotechnical Commission 1992"},{"key":"15_CR6","first-page":"73","volume":"28","author":"H Krebs","year":"1984","unstructured":"Krebs H, Haspel U. Ein Verfahren zur Software-Verifikation. Regelungstechnische Praxis 1984; 28: 73 \u2013 78","journal-title":"Regelungstechnische Praxis"},{"issue":"6","key":"15_CR7","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1145\/78973.78974","volume":"33","author":"DL Parnas","year":"1990","unstructured":"Parnas DL, van Schouwen J, Kwan SP. Evaluation of safety-critical software. Communications of the ACM 1990; 33(6): 636 \u2013 648","journal-title":"Communications of the ACM"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0030541","volume-title":"Isabelle: A Generic Theorem Prover","author":"LC Paulson","year":"1994","unstructured":"Paulson LC. Isabelle: A Generic Theorem Prover. Lecture Notes in Computer Science, Vol. 828. New York-Berlin-Heidelberg-London-Paris-Tokyo: Springer-Verlag 1994"},{"key":"15_CR9","unstructured":"VDI\/VDE-Richtlinie 3696 (Entwurf). Herstellerneutrale Konfigurierung von Proze\u00dfleitsystemen. Berlin: Beuth-Verlag 1993"}],"container-title":["Safe Comp 95"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3054-3_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T01:27:54Z","timestamp":1557624474000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3054-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199625","9781447130543"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3054-3_15","relation":{},"subject":[],"published":{"date-parts":[[1995]]}}}