Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings

53.49 EUR

Ein wissenschaftliches Sammelwerk aus der siebten FORMATS-Konferenz in Budapest, das neue Ansätze zur Modellierung zeitabhängiger Systeme beleuchtet, theoretische Grundlagen mit praktischen Fallstudien verbindet und aktuelle Forschungsergebnisse präsentiert.