- 1
Frank Singhoff
1
Documents
Publications
- 1
- 1
- 1
- 1
- 1
- 1
Validate, Simulate and Implement ARINC653 Systems using the AADLACM SIGAda Ada Letters, 2009, 29 (3), pp.31-44. ⟨10.1145/1653616.1647435⟩
Article dans une revue
hal-00745370v1
|