- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
WSI-Reports - Schriftenreihe des Wilhelm-Schickard-Instituts für Informatik ; 2000, 3
- Keyword
-
Tübingen / Wilhelm-Schickard-Institut für Informatik
- Event
-
Veröffentlichung
- (where)
-
Tübingen
- (who)
-
Universitätsbibliothek Tübingen
- (when)
-
2000
- Creator
-
Ruf, Jürgen
- URN
-
urn:nbn:de:bsz:21-opus-12061
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 15.08.2025, 7:28 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
- Ruf, Jürgen
- Universitätsbibliothek Tübingen
Time of origin
- 2000
Other Objects (12)
Trustworthy Verification of Realtime Systems
A mechanized verification environment for real-time process algebras and low-level programming languages
Pervasive verification of distributed real-time systems
Verification architectures for complex real-time systems
Runtime verification of embedded real-time systems
Mechanical Verification of Parameterized Real-Time Systems
Analyzing Real-Time Behavior of Flash Memories
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
Culling predicates for the Verification of Real-Time Models
Trustworthy Verification of Realtime Systems
A mechanized verification environment for real-time process algebras and low-level programming languages
Pervasive verification of distributed real-time systems
Verification architectures for complex real-time systems
Runtime verification of embedded real-time systems
Mechanical Verification of Parameterized Real-Time Systems
Analyzing Real-Time Behavior of Flash Memories
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
Culling predicates for the Verification of Real-Time Models
Trustworthy Verification of Realtime Systems
A mechanized verification environment for real-time process algebras and low-level programming languages
Pervasive verification of distributed real-time systems
Verification architectures for complex real-time systems
Runtime verification of embedded real-time systems
Mechanical Verification of Parameterized Real-Time Systems
Analyzing Real-Time Behavior of Flash Memories
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