Structured formal development in VSE II: the Robertino case study

Metadaten
Author:	Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif ORCiD GND, Stefan Scheer
Frontdoor URL	https://opus.bibliothek.uni-augsburg.de/opus4/58902
ISSN:	978-3-00-004872-2OPAC
Parent Title (English):	Sicherheit und Zuverlässigkeit software-basierter Systeme: Beiträge zum GI-Workshop in Bad Honnef, 3. - 5. Mai 1999
Publisher:	ISTec
Place of publication:	Garching
Editor:	Francesca Saglietti, Wolfgang Goerigk
Type:	Part of a Book
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

Open Access