𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[ACM Press the ACM SIGAda annual international conference - Saint Petersburg, Florida, USA (2009.11.01-2009.11.05)] Proceedings of the ACM SIGAda annual international conference on Ada and related technologies - SIGAda '09 - Validate, simulate, and implement ARINC653 systems using the AADL

✍ Scribed by Delange, Julien; Pautet, Laurent; Plantec, Alain; Kerboeuf, Mickael; Singhoff, Frank; Kordon, Fabrice

Book ID
121476277
Publisher
ACM Press
Year
2009
Weight
683 KB
Category
Article
ISBN
1605584754

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[ACM Press the 2004 annual ACM SIGAda in
[ACM Press the 2004 annual ACM SIGAda international conference - Atlanta, Georgia, USA (2004.11.14-2004.11.18)] Proceedings of the 2004 annual ACM SIGAda international conference on Ada The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies - SIGAda '04 - Cheddar
✍ Singhoff, F.; Legrand, J.; Nana, L.; MarcοΏ½, L. πŸ“‚ Article πŸ“… 2004 πŸ› ACM Press 🌐 English βš– 177 KB