A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
Book chapter (July 2023)
The most recent citing publications are shown below. View all 31 publications that cite this research output on Dimensions.
Book chapter (July 2023)
Article in International Journal of Mathematical Models and Methods in Applied Sciences (November 2021)
Book chapter (November 2019)