Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate.

Mickal Kerboeuf, Alain Plantec, Frank Singhoff, Arnaud Schach, Pierre Dissaux

Browse the full ICECCS paper archive.