SafeAir: Advanced design tools for aircraft systems and airborne software

BIB
Baufreton, P. and Le Sergent, T. and Segelken, M. and Brinkmann, H. and Strichman, O. and Winkelmann, K.
Proceedings of the 2001 International Conference on Dependable Systems and networks
01 / 2001
1
inproceedings
IEEE Computer Society
IEEE Computer Society