A Unified Approach for Modeling, Developing, and Assuring Critical Systems.

John Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang

Browse the full ISoLA paper archive.