A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation.

S. Akshay Paul Gastin R. Govind Aniruddha R. Joshi B. Srivathsan

Published in: CAV (1) (2023)

Keyphrases

real time systems
unified model
real time embedded
architectural model
real time
distributed systems
real time database systems
mission critical
embedded systems
object oriented programming language
fine grained