Login / Signup

Decomposable and Executable Models for Verification of Real-Time Systems.

Callum McCollVladimir Estivill-CastroMorgan McCollRené Hexel
Published in: MODELSWARD (Revised Selected Papers) (2022)
Keyphrases
  • real time systems
  • real time
  • probabilistic model
  • distributed systems
  • real time database systems
  • embedded real time systems
  • machine learning
  • object oriented programming language