Formal Modeling and Analysis of Timed Systems, Fachbücher von Martin Fränzle, Nicolas Markey
53,49 €
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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
