Formal Modeling and Analysis of Timed Systems, Fachbücher von Jean-Francois Raskin, P. S. Thiagarajan
53,49 €
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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
