{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:47:02Z","timestamp":1725626822002},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540106173"},{"type":"electronic","value":"9783642679773"}],"license":[{"start":{"date-parts":[[1981,1,1]],"date-time":"1981-01-01T00:00:00Z","timestamp":347155200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/978-3-642-67977-3_4","type":"book-chapter","created":{"date-parts":[[2011,10,28]],"date-time":"2011-10-28T05:28:55Z","timestamp":1319779735000},"page":"52-64","source":"Crossref","is-referenced-by-count":5,"title":["Zuverl\u00e4ssigkeit und Sicherheit in der Prozessautomatisierung"],"prefix":"10.1007","author":[{"given":"R.","family":"Lauber","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","first-page":"11","volume":"28","author":"J Biewald","year":"1980","unstructured":"Biewald, J., G\u00f6hner, P., Lauber, R. und Schelling, H.: Das Softwarewsrkzeug EPOS zur Unterst\u00fctzung der Ingenieurt\u00e4tigkeiten beim Entwurf und bei der Wartung von Proze\u00dfautomtisierungssystemen. Regelungstechnik 28 (1980) S. 11\u201315","journal-title":"Regelungstechnik"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Ehrenberger, W.D.: Aspects of Development and Verification of Reliable Process Computer Software. IFAC-Symposium D\u00fcsseldorf, 14.-17. Okt.1980, Preprints S.35\u201348","DOI":"10.1016\/B978-0-08-026749-4.50009-6"},{"key":"4_CR3","volume-title":"Einsatz statistischer Methoden zur Gewinnung von Zuverl\u00e4ssigkeitskenngr\u00f6\u00dfen von Proze\u00dfrechnerprograimmen. Kernforschungszentrum Karlsruhe, Bericht Kfk-PDV 151","author":"WD Ehrenberger","year":"1978","unstructured":"Ehrenberger, W.D. und Pl\u00f6gert, K.: Einsatz statistischer Methoden zur Gewinnung von Zuverl\u00e4ssigkeitskenngr\u00f6\u00dfen von Proze\u00dfrechnerprograimmen. Kernforschungszentrum Karlsruhe, Bericht Kfk-PDV 151 (1978)"},{"key":"4_CR4","first-page":"40","volume":"66","author":"G Freeh","year":"1974","unstructured":"Freeh, G.: Zuverl\u00e4ssigkeit und Sicherheit in Systemen mit hoher Sicherheitsverantwortung. Signal + Draht 66 (1974) S. 40\u201347","journal-title":"Signal + Draht"},{"key":"4_CR5","first-page":"923","volume":"28","author":"JT Gayen","year":"1979","unstructured":"Gayen, J.T.: Verkehrsgerechte Sicherheitsnachweise. ETR 28 (1979) S. 923\u2013925","journal-title":"ETR"},{"key":"4_CR6","unstructured":"Jentsch, W.: Wachsende Bedeutung der Zuverl\u00e4ssigkeits- und Sicherheits- technik. Elektroniker 1978 Nr. 12"},{"key":"4_CR7","volume-title":"Vieweg-Verlag Braunschweig","author":"R Konakovsky","year":"1977","unstructured":"Konakovsky, R.: Definition und Berechnung der Sicherheit von Automatisierungssystemen. Vieweg-Verlag Braunschweig 1977"},{"key":"4_CR8","first-page":"81","volume-title":"Safety of Computer Control Systems","author":"R Konakovsky","year":"1980","unstructured":"Konakovsky, R.: On a diversified parallel nticrocoraputer system. In: Safety of Computer Control Systems (Ed.: R. Lauber ), Pergamon Press 1980, pp. 81\u201388"},{"key":"4_CR9","first-page":"195","volume-title":"Human Reliability Engineering. IEEE Trans. on Reliability Vol. R-27","author":"H Kragt","year":"1978","unstructured":"Kragt, H.: Human Reliability Engineering. IEEE Trans, on Reliability Vol. R-27 (Aug.1978) pp. 195\u2013201"},{"key":"4_CR10","volume-title":"Die Sicherheit verfahrenstechnischer Anlagen. Dechema-Jahrestagung Frankfurt 16. Juni","author":"G Kremer","year":"1978","unstructured":"Kremer, G.: Die Sicherheit verfahrenstechnischer Anlagen. Dechema-Jahrestagung Frankfurt 16. Juni 1978"},{"key":"4_CR11","first-page":"1","volume-title":"Safety of Computer Control Systems","author":"R Lauber","year":"1980","unstructured":"Lauber, R.: Safety of Computer Control Systems. Pergamon Press. Oxford 1980, pp. 1\u20132"},{"key":"4_CR12","unstructured":"Lauber, R.: Einsatz von Spezifikations- und Entwurfssprachen bei Systemen mit Sicherheitsanforderungen. Fachtagung \u201cSicherheit\/Zuverl\u00e4ssigkeit und Zulassung von neuen Schnellbahnsystemen\u201d, K\u00f6ln, 31.1.-1. 2. 1980"},{"key":"4_CR13","first-page":"229","volume":"22","author":"H-J Lohmann","year":"1980","unstructured":"Lohmann, H.-J.: Sicherheit von Mikrocomputern f\u00fcr die Eisenbahnsignaltechnik. Elektron. Rechenanlagen 22 (1980) S. 229\u2013236","journal-title":"Elektron. Rechenanlagen"},{"key":"4_CR14","first-page":"919","volume":"28","author":"K Pierick","year":"1979","unstructured":"Pierick, K.: Die Grundstruktur der Sicherungsma\u00dfnahmen im Verkehr. ETR 28 (1979) S. 919\u2013922","journal-title":"ETR"},{"key":"4_CR15","first-page":"942","volume":"28","author":"K Pierick","year":"1979","unstructured":"Pierick, K. und Gayen, J.-T.: Eine Systematik von Sicherungsmethoden gegen Ausf\u00e4lle. ETR 28 (1979) S. 942\u2013944","journal-title":"ETR"},{"key":"4_CR16","first-page":"349","volume":"21","author":"G Quietzsch","year":"1980","unstructured":"Quietzsch, G.: Vorschlag zur Pr\u00fcfung von Proze\u00dfrechnern f\u00fcr Sicherheit saufgaben. Rtp 21 (1979) S.349\u2013353 und 22 (1980) S. 11\u201315","journal-title":"Rtp"},{"key":"4_CR17","first-page":"245","volume":"22","author":"G Schweizer","year":"1980","unstructured":"Schweizer, G.: Was ist \u201cSicherheit\u201d bei rechnergestiitzten Automatisierungssystemen? Elektron. Rechenanlagen 22 (1980) S. 245\u2013249","journal-title":"Rechenanlagen"},{"key":"4_CR18","first-page":"345","volume":"21","author":"W Schwier","year":"1979","unstructured":"Schwier, W.: Sicherheit von Proze\u00dfrechnern und Mikroprozessoren. Rtp 21 (1979) S. 345\u2013349","journal-title":"Rtp"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Overview of hardware-related safety problems of computer control systems. In: Safety of Computer Control Systems (Ed.: R. Lauber ). Pergamon Press, Oxford 1980, pp. 169\u2013172","DOI":"10.1016\/B978-0-08-024453-2.50025-5"},{"key":"4_CR20","first-page":"171","volume-title":"Zuverl\u00e4ssigkeitserfahrungen mit Proze\u00dfrechnern. Rtp","author":"HJ St\u00fcbler","year":"1978","unstructured":"St\u00fcbler, H.J.: Zuverl\u00e4ssigkeitserfahrungen mit Proze\u00dfrechnern. Rtp (1978) S. 171\u2013176"},{"key":"4_CR21","unstructured":"Walther, H.: Sicherheitsvorschriften der Deutschen Bundesbahn - Anforderungen der DB an Entwickler, Hersteller und Lieferanten. Fachtagung Sicherheit\/Zuverl\u00e4ssigkeit und Zulassung von neuen Schnellbahnsystemen, K\u00f6ln, T\u00dcV Rheinland 31.1.-1. 2. 1980 (Veranstalter: DORNIER System GmbH) S. 126\u2013139"},{"key":"4_CR22","first-page":"33","volume":"68","author":"L Wehner","year":"1976","unstructured":"Wehner, L.: Zuverl\u00e4ssigkeit der Signaltechnik. Signal + Draht 68 (1976) S.33\u201347, 63\u201373 und 87\u201398.","journal-title":"Signal+Draht"},{"key":"4_CR23","volume-title":"Untersuchung der Zuverl\u00e4ssigkeit der Proze\u00dfrechnersprache PEARL bei der Steuerung und Synchronisierung von Tasks. Diss. Universit\u00e4t Stuttgart","author":"A Zeh","year":"1977","unstructured":"Zeh, A.: Untersuchung der Zuverl\u00e4ssigkeit der Proze\u00dfrechnersprache PEARL bei der Steuerung und Synchronisierung von Tasks. Diss. Universit\u00e4t Stuttgart 1977"},{"key":"4_CR24","volume-title":"Softwareentwicklung f\u00fcr ein zuverl\u00e4ssiges und sicheres Proze\u00dfrechensystem. Tagung \u201cProze\u00dfrechner \u203281\u201d M\u00fcnchen 9.\u201311.3","author":"A Zeh","year":"1981","unstructured":"Zeh, A.: Softwareentwicklung f\u00fcr ein zuverl\u00e4ssiges und sicheres Proze\u00dfrechensystem. Tagung \u201cProzeBrechner \u203281 \u201d M\u00fcnchen 9.\u201311. 3. 1981."}],"container-title":["Informatik-Fachberichte","Fachtagung Proze\u00dfrechner 1981"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-67977-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T08:53:26Z","timestamp":1557910406000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-67977-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540106173","9783642679773"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-67977-3_4","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1981]]}}}