Dan Ionescu / Aurel Cornell (eds.)

Gebundenes Buch

Real-Time Systems: Modeling, Design and Applications

Beschreibung

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.

Produktdetails

• Verlag: World Scientific Publishing Company
• Seitenzahl: 504
• Erscheinungstermin: 1. Februar 2007
• Englisch
• Abmessung: 217mm x 162mm x 36mm
• Gewicht: 807g
• ISBN-13: 9789810244248
• ISBN-10: 981024424X
• Artikelnr.: 21504405