Duration Calculus, Fachbücher von Chaochen Zhou, Michael R. Hansen
Das Buch "Duration Calculus" bietet eine umfassende Einführung in die formalen Grundlagen des Duration Calculus, einer spezie... Mehr erfahren
Finde die besten Angebote
Bester Preis53 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Duration Calculus" bietet eine umfassende Einführung in die formalen Grundlagen des Duration Calculus, einer speziellen Logik zur Entwicklung von Echtzeitsystemen. Es behandelt die einzigartigen Merkmale dieser Logik, die es ermöglichen, Zeitdauern von Zuständen in Echtzeitsystemen präzise auszudrücken und zu analysieren. Durch eine klare und systematische Darstellung wird das Konzept des Duration Calculus sowohl für die formale Spezifikation als auch für die Verifikation von Echtzeitsystemen erläutert. Das Buch enthält zudem ausgewählte Fallstudien, die die praktische Anwendung des Duration Calculus veranschaulichen, sowie eine umfassende Übersicht über die aktuelle Forschung in diesem Bereich. Es richtet sich an Studierende auf Master- und Doktoratsniveau sowie an erfahrene Forscher und Fachleute, die sich mit der Entwicklung und Analyse von Echtzeitsystemen beschäftigen.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer