Hochschulschrift
An algorithm for the real-time evaluation of temporal trace specifications
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Berlin, Techn. Univ., Diss., 2004
- Klassifikation
-
Informatik
- Schlagwort
-
Dynamisches System
Testdaten
Echtzeitverarbeitung
Formale Beschreibungstechnik
Spezifikationssprache
Temporale Logik
- Urheber
- URN
-
urn:nbn:de:kobv:83-opus-9016
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:56 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
Ähnliche Objekte (12)
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
An algorithm for transforming LOTOS specifications for implementation
SYMPAD - A Class Library for Processing Parallel Algorithm Specifications
A real-time algorithm for FCIQMC
Development of communication protocols with algebraic temporal specifications
Synthesizing adaptive test strategies from temporal logic specifications
Formal Specifications of Real-Time Requirements for Building Automation Systems
Development of communication protocols by composing and refining temporal specifications
An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking
Reverse engineering of real-time system models from event trace recordings
Reverse Engineering of Real-Time System Models From Event Trace Recordings
Spatio-temporal variations of observed and modelled stratospheric trace gases
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
An algorithm for transforming LOTOS specifications for implementation
SYMPAD - A Class Library for Processing Parallel Algorithm Specifications
A real-time algorithm for FCIQMC
Development of communication protocols with algebraic temporal specifications
Synthesizing adaptive test strategies from temporal logic specifications
Formal Specifications of Real-Time Requirements for Building Automation Systems
Development of communication protocols by composing and refining temporal specifications
An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking
Reverse engineering of real-time system models from event trace recordings
Reverse Engineering of Real-Time System Models From Event Trace Recordings
Spatio-temporal variations of observed and modelled stratospheric trace gases
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
An algorithm for transforming LOTOS specifications for implementation
SYMPAD - A Class Library for Processing Parallel Algorithm Specifications
A real-time algorithm for FCIQMC
Development of communication protocols with algebraic temporal specifications
Synthesizing adaptive test strategies from temporal logic specifications
Formal Specifications of Real-Time Requirements for Building Automation Systems
Development of communication protocols by composing and refining temporal specifications
An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking
Reverse engineering of real-time system models from event trace recordings
Reverse Engineering of Real-Time System Models From Event Trace Recordings