Real-Time Systems: Modeling, Design and Applications
Cornell, Aurel / Ionescu, Dan![Real-Time Systems: Modeling, Design and Applications](https://support.digitalhusky.com/media/annotations/sorted/158/1580598/CHSBZCOP031580598.jpg)
Selected researchers were invited to revise talks they had presented at various AMAST workshops for publication here. The 20 studies cover theoretical aspects of real-time systems, verification methods, synthesis methods, extensions to formal languages, tools, and industrial applications.