{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:38:01Z","timestamp":1725629881335},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540133834"},{"type":"electronic","value":"9783642697050"}],"license":[{"start":{"date-parts":[[1984,1,1]],"date-time":"1984-01-01T00:00:00Z","timestamp":441763200000},"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":[[1984]]},"DOI":"10.1007\/978-3-642-69705-0_14","type":"book-chapter","created":{"date-parts":[[2011,11,4]],"date-time":"2011-11-04T23:54:52Z","timestamp":1320450892000},"page":"155-165","source":"Crossref","is-referenced-by-count":0,"title":["Der Einsatz von Software-Diversit\u00e4t in Systemen mit hohen Zuverl\u00e4ssigkeitsanforderungen"],"prefix":"10.1007","author":[{"given":"Udo","family":"Voges","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"Infotech State of the Art Conference on Reliable Software","author":"T Anderson","year":"1977","unstructured":"T. Anderson Software Fault Tolerance: A System Supporting Fault-Tolerant Software. Infotech State of the Art Conference on Reliable Software, London, 1977."},{"key":"14_CR2","unstructured":"T. Anderson Private Kommunikation, 1984."},{"key":"14_CR3","unstructured":"R. E. Bloomfield, P. Bishop Private Kommunikation, 1984."},{"key":"14_CR4","volume-title":"IFAC Workshop Safecomp\u201979","author":"G Dahll","year":"1979","unstructured":"G. Dahll, J. Lahti Investigation of Methods for Production and Verification of Highly Reliable Software. IFAC Workshop Safecomp\u201979, Stuttgart, 16\u201318 May 1979."},{"key":"14_CR5","volume-title":"Safety, Availability, and Cost Questions about Diversity","author":"W Ehrenberger","year":"1983","unstructured":"W. Ehrenberger Safety, Availability, and Cost Questions about Diversity. IFAC Conference \u2018Control in Transportation Systems\u2019, Baden-Baden, April 1983."},{"key":"14_CR6","first-page":"317","volume-title":"Entwurf eines hochzuverl\u00e4ssigen redundanten Mikrorechnernetzes","author":"F Fetsch","year":"1981","unstructured":"F. Fetsch, L. Gmeiner, U. Voges Entwurf eines hochzuverl\u00e4ssigen redundanten Mikrorechnernetzes. GI-11. Jahrestagung, M\u00fcnchen 1981, S. 317\u2013326."},{"key":"14_CR7","volume-title":"IFAC Workshop Safecomp\u201979","author":"L Gmeiner","year":"1979","unstructured":"L. Gmeiner, U. Voges Software Diversity in Reactor Protection Systems: An Experiment. IFAC Workshop Safecomp\u201979, Stuttgart, 16\u201318 May 1979."},{"key":"14_CR8","volume-title":"Digitale Elektronik in Verkehrsflugzeugen","author":"JP Hack","year":"1983","unstructured":"J. P. Hack Digitale Elektronik in Verkehrsflugzeugen. DGLR-Symposium, K\u00f6ln, 25\u201326 Oct 1983."},{"key":"14_CR9","volume-title":"Erfahrungen mit Flight Standard Software","author":"Hartmann","year":"1983","unstructured":"Hartmann Erfahrungen mit Flight Standard Software. DGLR-Symposium, K\u00f6ln, 25\u201326 Oct 1983."},{"key":"14_CR10","volume-title":"Specification of Fault-Tolerant Multi-Version Software, Experimental Studies of a Design Diversity Approach","author":"J Kelly","year":"1982","unstructured":"J. Kelly Specification of Fault-Tolerant Multi-Version Software, Experimental Studies of a Design Diversity Approach. Dissertation, UCLA 1982."},{"key":"14_CR11","volume-title":"Dissimilar Software in high integrity applications in flight controls","author":"DJ Martin","year":"1982","unstructured":"D. J. Martin Dissimilar Software in high integrity applications in flight controls. AGARD-CP-330, 1982."},{"issue":"6","key":"14_CR12","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1109\/TSE.1981.226474","volume":"SE-7","author":"CV Ramamoorthy","year":"1981","unstructured":"C. V. Ramamoorthy et al. Application of a Methodology for the Development and Validation of Reliable Process Control Software. IEEE Trans. Softw. Eng. SE-7 (Nov. 1981) 6, 537\u2013555.","journal-title":"IEEE Trans. Softw. Eng."},{"key":"14_CR13","first-page":"29","volume-title":"Computerised interlocking system - a multidimensional structure in the pursuit of safety","author":"B Sterner","year":"1978","unstructured":"B. Sterner Computerised interlocking system - a multidimensional structure in the pursuit of safety. IMechE (Nov\/Dec 1978) p.29\u201330."},{"key":"14_CR14","volume-title":"CSTS: Ein Software-Testsystem f\u00fcr den Tornado-Autopiloten","author":"J Stocker","year":"1983","unstructured":"J. Stocker, J. Rauch CSTS: Ein Software-Testsystem f\u00fcr den Tornado-Autopiloten. DGLR-Symposium, K\u00f6ln, 25\u201326 Oct 1983."}],"container-title":["Informatik-Fachberichte","Software-Fehlertoleranz und -Zuverl\u00e4ssigkeit"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69705-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T05:00:20Z","timestamp":1557896420000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69705-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540133834","9783642697050"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69705-0_14","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1984]]}}}