{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:46:47Z","timestamp":1725626807104},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540106173"},{"type":"electronic","value":"9783642679773"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/978-3-642-67977-3_21","type":"book-chapter","created":{"date-parts":[[2011,10,28]],"date-time":"2011-10-28T05:28:55Z","timestamp":1319779735000},"page":"240-250","source":"Crossref","is-referenced-by-count":0,"title":["Softwareentwicklung f\u00fcr ein zuverl\u00e4ssiges und sicheres Proze\u00dfrechensystem"],"prefix":"10.1007","author":[{"given":"Albrecht","family":"Zeh","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","first-page":"11","volume":"28","author":"J Biewald","year":"1980","unstructured":"J. Biewald, P. G\u00f6hner, R. Lauber, H. Schelling, Das Softwarewerkzeug EPOS zur Unterst\u00fctzung der Ingenieurt\u00e4tigkeit beim Entwurf und bei der Wartung von Proze\u00dfautomatisierungssystemen, Regelungstechnik 28, 1980, S. 11\u201315","journal-title":"Regelungstechnik"},{"key":"21_CR2","volume-title":"Software and its Impact: A quantitative assessment, Datamation","author":"BW Boehm","year":"1973","unstructured":"B.W. Boehm, Software and its Impact: A quantitative assessment, Datamation, May 1973"},{"key":"21_CR3","unstructured":"P. G\u00f6hner, Ingenieurgerechte Spezifikation der Synchronisierung paralleler Rechenprozesse, Dissertation Universit\u00e4t Stuttgart, noch nicht ver\u00f6ffentlicht"},{"key":"21_CR4","volume-title":"Software by functional diversity, European Purdue Workshop, TC 7. No. 37","author":"R Lauber","year":"1975","unstructured":"R. Lauber Software by functional diversity, European Purdue Workshop, TC 7. No. 37 (1975)"},{"key":"21_CR5","unstructured":"R. Lauber, Einsatz von Spezifikations- und Entwurfssprachen bei Systemen mit Sicherheitsanforderungen, Vortrag auf der Fachtagung \u201cSicherheit\/Zuverl\u00e4ssigkeit und Zulassung von neuen Schnellbahnsystemen\u201d am 31.1.\/1.2.80 bei T\u00dcV Rheinland in K\u00f6ln"},{"key":"21_CR6","volume-title":"Automatisches Betriebsf\u00fchrungssystem der Stadtbahn RheinRuhr","author":"J Linder","year":"1978","unstructured":"J. Lindner, Automatisches Betriebsf\u00fchrungssystem der Stadtbahn RheinRuhr, Internationales Verkehrswesen IV September\/Oktober 1978, Tetzlaff-Verlag, Darmstadt"},{"key":"21_CR7","unstructured":"K. Pierick, Die Rechnertechnologie als Herausforderung an die Sicherheitsgrunds\u00e4tze der \u00f6ffentlichen Verkehrsmittel, Die Bundesbahn 3\/1978"},{"key":"21_CR8","unstructured":"K. Pierick, Eine Systematik von Sicherungsmethoden gegen Ausf\u00e4lle, IVEV- SRRP-01-1179, Institut f\u00fcr Verkehr, Eisenbahnwesen und Verkehrssicherung, TU Braunschweig"},{"key":"21_CR9","unstructured":"Sicherheit und Zuverl\u00e4ssigkeit von Nahtransportsystemen, Phase 1, Dezember 1978, Studiengesellschaft Nahverkehr Hamburg"},{"key":"21_CR10","unstructured":"Pflichtenheft zum Forschungsvorhaben BMFT TV 7915 8, 1980"},{"key":"21_CR11","volume-title":"Systemkonzept, Forschungsvorhaben BMFT TV 7915 8","author":"E Weitner","year":"1980","unstructured":"E. Weitner, H. Ulzh\u00f6fer, Systemkonzept, Forschungsvorhaben BMFT TV 7915 8, 1980, Stadtbahngesellschaft Rhein-Ruhr"},{"key":"21_CR12","unstructured":"A. Zeh, Eine vergleichende Untersuchung von Proze\u00dfrechnersprachen hinsichtlich Zuverl\u00e4ssigkeit, Arbeitspaket 460 aus SNV 78"}],"container-title":["Informatik-Fachberichte","Fachtagung Proze\u00dfrechner 1981"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-67977-3_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:19:35Z","timestamp":1606256375000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-67977-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540106173","9783642679773"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-67977-3_21","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1981]]}}}