Model-Based Development for High-Assurance Embedded Systems.

Robby, John Hatcliff, Jason Belt

Browse the full ISoLA paper archive.