Login / Signup

Compositional verification of embedded real-time systems.

Mohammed FoughaliPierre-Emmanuel HladikAlexander Zuepke
Published in: J. Syst. Archit. (2023)
Keyphrases
  • embedded real time systems
  • embedded systems
  • commercial software
  • petri net
  • model checking
  • real time systems
  • software development
  • databases