Model-based automatic generation and selection of safe architectures

Original title:: Model-based automatic generation and selection of safe architectures
Author:: Condat, Helene
Year:: 2011
Document type:: Diploma Thesis
University:: Technische Universität München
Place of Publication:: Munich
Publication :: Institute of Astronautics
WWW:: https://mediatum.ub.tum.de/?id=1337636
BibTeX