Constructing correct systems in the SafeAir project

BIB
Baufreton, P. and Dupont, F. and Leviathan, R. and Segelken, M. and Winkelmann, K.
Multiconference on Systemics, Cybernetics and Informatics (SCI2002)
01 / 2002
1
inproceedings
SAFEAIR
Eingebettete Systeme in sicherheitskritischen Avioniksystemen