
[IEEE Systems (ICCES) - Cairo, Egypt (2011.11.29-2011.12.1)] The 2011 International Conference on Computer Engineering & Systems - Implementation of formally verified real time distributed systems: Simplified flight control system
El-Araby, Nahla A., Wahba, Ayman M., Taher, Mohamed M.Année:
2011
Langue:
english
DOI:
10.1109/icces.2011.6141006
Fichier:
PDF, 2.42 MB
english, 2011