Model-based automatic generation and selection of safe architectures

Originaltitel:: Model-based automatic generation and selection of safe architectures
Autor:: Condat, Helene
Jahr:: 2011
Dokumenttyp:: Diploma Thesis
Universität:: Technische Universität München
Publikationsort:: Munich
Veröffentlichung:: Institute of Astronautics
WWW:: https://mediatum.ub.tum.de/?id=1337636
BibTeX