Login / Signup
Compositional verification of embedded real-time systems.
Mohammed Foughali
Pierre-Emmanuel Hladik
Alexander 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