![](/img/cover-not-exists.png)
[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.Year:
2011
Language:
english
DOI:
10.1109/icces.2011.6141006
File:
PDF, 2.42 MB
english, 2011