Research‎ > ‎AADL‎ > ‎

BLESS

BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software, TR 2012-12-01

All resources related to TR 2012-12-01 are available from this public Google Drive folder.
Comments