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

2011 16th IEEE International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2011.39 ◽

2011 ◽

Cited By ~ 4

Author(s):

Gilles Lasnier ◽

Laurent Pautet ◽

Jérôme Hugues ◽

Lutz Wrage

Download Full-text