Verifiable Executable Models for Decomposable Real-time Systems.

Callum McColl Vladimir Estivill-Castro Morgan McColl René Hexel

Published in: MODELSWARD (2022)

Keyphrases

real time systems
real time
sufficient conditions
artificial intelligence
embedded real time systems
probabilistic model
software engineering
distributed systems
timing constraints