[IEEE Systems (ICCES) - Cairo, Egypt...

  • Main
  • [IEEE Systems (ICCES) - Cairo, Egypt...

[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.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2011
Language:
english
DOI:
10.1109/icces.2011.6141006
File:
PDF, 2.42 MB
english, 2011
Conversion to is in progress
Conversion to is failed