Comparison of the AADL and Event-B Model-Based Tool Chains for Designing Embedded Systems

Comparison of the AADL and Event-B Model-Based Tool Chains for Designing Embedded Systems

Christophe Ponsard, Renaud De Landtsheer, "Comparison of the AADL and Event-B Model-Based Tool Chains for Designing Embedded Systems", First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems, Paris, France, June 15, 2010.

Date: 15 juin 2010

Publication: Communication scientifique 

Expertises:

Ingénierie de systèmes IT complexes 

Evolutivité des systèmes embarqués et réseaux IoT 

A propos des projets