Integrated formal methods for safety analysis of train systems

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Wolfgang ReifORCiDGND, Frank OrtmeierORCiDGND, Andreas ThumsGND, Gerhard SchellhornGND
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/35610
ISBN:9781402081569OPAC
Parent Title (English):Building the information society: IFIP 18th World Computer Congress; Topical sessions 22-27 August 2004, Toulouse, France
Publisher:Kluwer Academic Publishers
Place of publication:New York [u.a.]
Editor:René Jacquart
Type:Part of a Book
Language:English
Year of first Publication:2004
Release Date:2017/07/21
First Page:637
Last Page:642
Series:IFIP ; 156
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik