Formalization of the AADL Run-Time Services.

John Hatcliff, Jrme Hugues, Danielle Stewart, Lutz Wrage

Browse the full ISoLA paper archive.