Compositional Verification of Concurrent and Real-Time Systems

Compositional Verification of Concurrent and Real-Time Systems

With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, a...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Juan, Eric Y. T. (VerfasserIn), Tsai, Jeffrey J. P. (VerfasserIn)
Format: Elektronisch E-Book
Sprache:English
Veröffentlicht: Boston, MA Springer US 2002
Schriftenreihe:The Springer International Series in Engineering and Computer Science 676
Schlagworte:
Computer Science
Software Engineering/Programming and Operating Systems
Computing Methodologies
Processor Architectures
Special Purpose and Application-Based Systems
Mechanical Engineering
Computer science
Microprocessors
Special purpose computers
Software engineering
Computers
Mechanical engineering
Online-Zugang:DE-573
DE-634
URL des Erstverö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-573
DE-634
URL des Erstveröffentlichers

Ähnliche Einträge