Structured formal development in VSE II: the Robertino case study

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang ReifORCiDGND, Stefan Scheer
URN:urn:nbn:de:bvb:384-opus4-589021
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/58902
ISSN:978-3-00-004872-2OPAC
Parent Title (German):Sicherheit und Zuverlässigkeit software-basierter Systeme: Beiträge zum GI-Workshop in Bad Honnef, 3.-5. Mai 1999
Publisher:ISTec - Institut für Sicherheitstechnologie
Place of publication:Garching
Editor:Francesca Saglietti, Wolfgang Goerigk
Type:Conference Proceeding
Language:English
Date of Publication (online):2019/07/23
Year of first Publication:1999
Publishing Institution:Universität Augsburg
Release Date:2019/08/22
First Page:138
Last Page:152
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
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 000 Informatik, Informationswissenschaft, allgemeine Werke
Licence (German):Deutsches Urheberrecht