Verifiable Executable Models for Decomposable Real-time Systems.

Callum McColl, Vladimir Estivill-Castro, Morgan McColl, Ren Hexel

Browse the full MODELSWARD paper archive.