HAMR: An AADL Multi-platform Code Generation Toolset.

John Hatcliff, Jason Belt, Robby, Todd Carpenter

Browse the full ISoLA paper archive.