Accueil > FR > Actualités > Publications > Comparison of the AADL and Event-B Model-Based Tool Chains for Designing (...)


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.