- 1
- 1
- 1
- 1
Frank Singhoff
4
Documents
Publications
- 1
- 1
- 1
- 1
- 4
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 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
|
AADL design patterns and tools for modelling and performance analysis of real-time systems.5th european congress ERTSS Embedded Real-Time Software and System., May 2010, France
Communication dans un congrès
hal-00661001v1
|
|
Comparison of six ways to extend the scope of Cheddar to AADL v2 with Osate5th international workshop on AADL and UML, Mar 2010, United Kingdom. pp.367-372
Communication dans un congrès
hal-00502111v1
|
|
|
AADL Design-Patterns and Tools for Modelling and Performance Analysis of Real-Time systemsERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France
Communication dans un congrès
hal-02264385v1
|