Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

Dieses Sammelwerk aus der 8. FORMATS-Konferenz bietet tiefgehende Einblicke in die Modellierung zeitkritischer Systeme, kombiniert mathematische Grundlagen mit praxisorientierten Fallstudien und innovativen Analyseansätzen.

Teilen: