An Implementation of the Behavior Annex in the AADL-Toolset Osate2.

Gilles Lasnier, Laurent Pautet, Jrme Hugues, Lutz Wrage

Browse the full ICECCS paper archive.