Formal Modeling and Analysis of Timed Systems, Fachbücher von Jean-Francois Raskin, P. S. Thiagarajan
Das Buch "Formal Modeling and Analysis of Timed Systems" dokumentiert die Proceedings der fünften Internationalen Konferenz z... Mehr erfahren
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Formal Modeling and Analysis of Timed Systems" dokumentiert die Proceedings der fünften Internationalen Konferenz zu formalen Modellen und Analysen zeitgesteuerter Systeme (FORMATS 2007). Diese Konferenz vereinte Forscher aus verschiedenen Disziplinen, die sich mit den zeitlichen Aspekten von Computersystemen befassen. Der Band behandelt sowohl grundlegende als auch praktische Aspekte zeitgesteuerter Systeme und ermutigt zur Berichterstattung über neue Anwendungsbereiche. Neben den Konferenzbeiträgen wurden auch eingeladene Vorträge präsentiert, die verschiedene Facetten dieses breiten Forschungsgebiets beleuchten. FORMATS 2007 fand im Rahmen der Embedded Systems Week in Salzburg, Österreich, statt, einem Event, das zahlreiche Konferenzen, Tutorials und Workshops zu verschiedenen Themen der Embedded-System-Forschung und -Entwicklung umfasste.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer