Data-flow Based Model Analysis

Metadaten
Author:	Christian Saad, Bernhard Bauer ORCiD GND
Frontdoor URL	https://opus.bibliothek.uni-augsburg.de/opus4/44090
URL:	https://shemesh.larc.nasa.gov/NFM2010/proceedings/NASA-CP-2010-216215.pdf
Parent Title (English):	Proceedings of the Second NASA Formal Methods Symposium: Proceedings of a symposium sponsored by the National Aeronautics and Space Administration and held in Washington, D.C., April 13-15, 2010
Publisher:	NASA
Place of publication:	Hampton, VA
Editor:	César Muñoz
Type:	Part of a Book
Language:	English
Year of first Publication:	2010
Release Date:	2019/03/29
First Page:	227
Last Page:	231
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 / Professur Softwaremethodik für verteilte Systeme

Open Access