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

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

Published in: CoRR (2023)

Keyphrases

real time systems
unified model
real time embedded
distributed systems
architectural model
timing constraints
real time
object oriented programming language
mission critical
high level
embedded systems
embedded real time systems
low cost
real time database systems