{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T23:08:42Z","timestamp":1725750522359},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642413087"},{"type":"electronic","value":"9783642413094"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41309-4_2","type":"book-chapter","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T11:03:38Z","timestamp":1380625418000},"page":"7-18","source":"Crossref","is-referenced-by-count":0,"title":["Werkzeugunterst\u00fctzung der Pr\u00fcfung sicherheitsgerichteter Software auf Normenkonformit\u00e4t"],"prefix":"10.1007","author":[{"given":"G\u00fcnter","family":"Gl\u00f6e","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Detlev","family":"Volkwarth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Anders, U.; Csapo, V.; Flor, R.; Gl\u00f6e, G.: Forschungsbericht (13 RG 88 12\/ 13 RG 93 09), TAQUE (TAMARA); Hamburg: T\u00dcV Nord e. V. 1995"},{"key":"2_CR2","unstructured":"B\u00f8egh, J.; Kitchenham, B.; Linkman, S.; Pasquini, A.: Esprit project P8436, SQUID Conceptual Handbook, Work Package 3, Version 1.0; Hamburg: T\u00dcV Nord e. V. 1996"},{"key":"2_CR3","unstructured":"Hadler, T.: Qualit\u00e4t und Sicherheit von Embedded Systemen; Entwicklung einer Software zum Ermitteln qualit\u00e4ts- und sicherheitsbezogener nichtfunktionaler Anforderungen und Beurteilen der erreichten Qualit\u00e4t; Diplomarbeit, FH Wedel 2004"},{"key":"2_CR4","unstructured":"Anders, U.; Gl\u00f6e, G; Gran, B.A.; Hadler, T.; Miedl, H.: Technischer Fachbericht, Reaktorsicherheitsforschung \u2013 Vorhaben-Nr. 1501282, Zum WP 4.1.1, Qualit\u00e4t von Rechnern und deren Software, im Vorhaben Vorgehen zum effizienten Nachweis der Benutzbarkeit und Sicherheit rechnergest\u00fctzter Leittechniksysteme; Hamburg: T\u00dcV NORD SysTec GmbH & Co. KG 2006"},{"key":"2_CR5","unstructured":"Miedl, H.; VeNuSEQ Validation; Version 2.00; M\u00fcnchen: ISTec 2006"},{"key":"2_CR6","unstructured":"Gl\u00f6e, G.; Volkwarth, D.; mit Beitr\u00e4gen von Nelke, T., und Simensen, J.E.; Arbeitspaketbericht VeNuS 2, Teil 3, WP 8: Schritte hin zur automatisierten Dokumentenpr\u00fcfung; Hamburg: CATS Software Tools GmbH 2012"}],"container-title":["Informatik aktuell","Funktionale Sicherheit"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41309-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,28]],"date-time":"2019-01-28T23:07:43Z","timestamp":1548716863000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41309-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642413087","9783642413094"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41309-4_2","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[2013]]}}}