{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T08:46:41Z","timestamp":1726044401386},"publisher-location":"Wiesbaden","reference-count":13,"publisher":"Springer Fachmedien Wiesbaden","isbn-type":[{"type":"print","value":"9783658278076"},{"type":"electronic","value":"9783658278083"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-658-27808-3_13","type":"book-chapter","created":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T11:05:01Z","timestamp":1568718301000},"page":"119-128","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Verifikation einer Funktionsblockbibliothek f\u00fcr die Prozessautomatisierung"],"prefix":"10.1007","author":[{"given":"Marc L.","family":"Schulz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,9,18]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"1. M. L. Schulz: Verifikation einer Funktionsblockbibliothek f\u00fcr die Prozessautomatisierung. Fortschr.-Ber. VDI Reihe 08 Nr. 1264, D\u00fcsseldorf: VDI Verlag 2019.","key":"13_CR1","DOI":"10.1007\/978-3-658-27808-3_13"},{"unstructured":"2. W. A. Halang und M. Sniezek: Digitale Datenverarbeitungsanlage f\u00fcr sicherheitsgerichtete Automatisierungsaufgaben zur Ausf\u00fchrung als Funktions- und Ablaufpl\u00e4ne. Deutsches Patent DE19841194, 2000.","key":"13_CR2"},{"issue":"1","key":"13_CR3","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1049\/sej.1992.0006","volume":"7","author":"Wolfgang A. Halang","year":"1992","unstructured":"3. W. A. Halang und B. Kr\u00e4mer: Achieving High Integrity of Process Control Software by Graphical Design and Formal Verification. Software Engineering Journal 7, 1, 53\u201364, 1992.","journal-title":"Software Engineering Journal"},{"unstructured":"4. H. Krebs und U. Haspel: Ein Verfahren zur Software-Verifikation. Regelungstechnische Praxis rtp 26, 2, 73\u201378, 1984.","key":"13_CR4"},{"unstructured":"5. J. S. B. T. Evans: Deductive Reasoning. In The Cambridge Handbook of Thinking and Reasoning, Hrsg. von K. J. Holyoak und R. G. Morrison, S. 169\u2013184, New York: Cambridge University Press 2005.","key":"13_CR5"},{"unstructured":"6. VDI\/VDE 3696: Herstellerneutrale Konfiguration von Proze\u00dfleitsystemen, Standard-Funktionsbausteine. Richtlinie, Berlin: Beuth Verlag 1995.","key":"13_CR6"},{"doi-asserted-by":"crossref","unstructured":"7. I. Lakatos: Mathematik, empirische Wissenschaft und Erkenntnistheorie. Hrsg. von J. Worrall und G. Currie, Bd. 2, Philosophische Schriften, Wiesbaden: Vieweg+Teubner Verlag 1982.","key":"13_CR7","DOI":"10.1007\/978-3-322-91088-2"},{"issue":"5","key":"13_CR8","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1145\/359104.359106","volume":"22","author":"Richard A. De Millo","year":"1979","unstructured":"8. R. A. De Millo et al.: Social Processes and Proofs of Theorems and Programs. Communications of the ACM 22, 5, 271\u2013280, 1979.","journal-title":"Communications of the ACM"},{"issue":"9","key":"13_CR9","doi-asserted-by":"publisher","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A. Benveniste","year":"1991","unstructured":"9. A. Benveniste und G. Berry: The Synchronous Approach to Reactive and Real-Time Systems. Proceedings of the IEEE 79, 9, 1270\u20131281, 1991.","journal-title":"Proceedings of the IEEE"},{"doi-asserted-by":"crossref","unstructured":"10. W. A. Halang und R. M. Konakovsky: Sicherheitsgerichtete Echtzeitsysteme. 2., vollst. \u00fcberarb. Aufl. Berlin-Heidelberg: Springer 2013.","key":"13_CR10","DOI":"10.1007\/978-3-642-37298-8"},{"issue":"3","key":"13_CR11","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/BF01933419","volume":"8","author":"E. W. Dijkstra","year":"1968","unstructured":"11. E. W. Dijkstra: A Constructive Approach to the Problem of Program Correctness. BIT 8, 3, 174\u2013186, 1968.","journal-title":"BIT"},{"doi-asserted-by":"crossref","unstructured":"12. M. Knorrenschild: Numerische Mathematik. Eine beispielorientierte Einf\u00fchrung. 5., aktual. Aufl. Mathematik-Studienhilfen, M\u00fcnchen: Hanser Verlag 2013.","key":"13_CR12","DOI":"10.3139\/9783446433892"},{"unstructured":"13. DIN 66253: Echtzeitprogrammiersprache SafePEARL. Berlin: Beuth Verlag 2018.","key":"13_CR13"}],"container-title":["Informatik aktuell","Echtzeit 2019"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-658-27808-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,7]],"date-time":"2019-12-07T07:09:51Z","timestamp":1575702591000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-658-27808-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783658278076","9783658278083"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-658-27808-3_13","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"18 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}