- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Technical Report, Chair for Software Engineering, University of Konstanz ; soft-08-06
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
Bibliothek der Universität Konstanz
- (when)
-
2010
- Creator
-
Badban, Bahareh
- URN
-
urn:nbn:de:bsz:352-opus-118458
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:58 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Badban, Bahareh
- Bibliothek der Universität Konstanz
Time of origin
- 2010
Other Objects (12)
Pervasive verification of distributed real-time systems
Verification architectures for complex real-time systems
Runtime verification of embedded real-time systems
RAVEN : real-time analyzing and verification environment
Mechanical Verification of Parameterized Real-Time Systems
Formal verification of recursive predicates
Verification of real-time systems through lazy approximations
Specification and verification of mobile real-time systems
Deployment and empirical verification of real-time schedules
Formal verification of a small real-time operating system
Integrated timing verification for distributed embedded real-time systems
Investigation and verification of real-time schedules via simulation
Pervasive verification of distributed real-time systems
Verification architectures for complex real-time systems
Runtime verification of embedded real-time systems
RAVEN : real-time analyzing and verification environment
Mechanical Verification of Parameterized Real-Time Systems
Formal verification of recursive predicates
Verification of real-time systems through lazy approximations
Specification and verification of mobile real-time systems
Deployment and empirical verification of real-time schedules
Formal verification of a small real-time operating system
Integrated timing verification for distributed embedded real-time systems
Investigation and verification of real-time schedules via simulation
Pervasive verification of distributed real-time systems
Verification architectures for complex real-time systems
Runtime verification of embedded real-time systems
RAVEN : real-time analyzing and verification environment
Mechanical Verification of Parameterized Real-Time Systems
Formal verification of recursive predicates
Verification of real-time systems through lazy approximations
Specification and verification of mobile real-time systems
Deployment and empirical verification of real-time schedules
Formal verification of a small real-time operating system
Integrated timing verification for distributed embedded real-time systems