Duration Calculus A Formal Approach to Real-Time Systems

Duration Calculus A Formal Approach to Real-Time Systems

Weitere Versionen anzeigen (1)

Real-time systems are systems in which temporal properties are essential for reliability and correctness. Examples of systems where correctness and reliability are important for safety reasons include control systems for cars, trains and air planes. In devices such as washing machines, DVD players a...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Zhou, Chaochen (VerfasserIn), Hansen, Michael R. (VerfasserIn)
Format: Elektronisch E-Book
Sprache:English
Veröffentlicht: Berlin, Heidelberg Springer Berlin Heidelberg 2004
Ausgabe:1st ed. 2004
Schriftenreihe:Monographs in Theoretical Computer Science. An EATCS Series
Schlagworte:
Software Engineering
Special Purpose and Application-Based Systems
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software engineering
Special purpose computers
Programming languages (Electronic computers)
Computer logic
Mathematical logic
Temporale Logik
Echtzeitsystem
Formale Spezifikationstechnik
HOL
Zeitintervall
Berechnungstheorie
Online-Zugang:DE-706
URL des Eerstveröffentlichers
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Online

DE-706
URL des Eerstveröffentlichers

Ähnliche Einträge