Real-Time Systems: Modeling, Design and Applications

ISBN-13: 9789810244248 / Angielski / Twarda / 2007 / 504 str.

Dan Ionescu; Aurel Cornell

Opis

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.