Formal Modeling and Analysis of Timed Systems, Fachbücher von Martin Fränzle, Nicolas Markey
Das Buch "Formal Modeling and Analysis of Timed Systems" ist eine Sammlung der refereed Proceedings der 14. Internationalen K... 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" ist eine Sammlung der refereed Proceedings der 14. Internationalen Konferenz über formale Modellierung und Analyse zeitlicher Systeme (FORMATS 2016), die im August 2016 in Quebec, Kanada, stattfand. Es umfasst 14 sorgfältig ausgewählte und begutachtete Beiträge, die aus 32 ursprünglichen Einreichungen hervorgegangen sind. Die Artikel sind in thematische Abschnitte unterteilt, die sich mit verschiedenen Aspekten der Modellierung zeitlicher Phänomene, Stochastik und hybrider Steuerung, Echtzeitverifikation und -synthese sowie Arbeitslastanalyse befassen. Dieses Fachbuch richtet sich an Fachleute und Forscher im Bereich Technik und IT, die sich mit der Analyse und Modellierung zeitabhängiger Systeme beschäftigen.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer