- Alternative title
-
Maschinelle Verifikation von Parametrisierten Echtzeitsystemen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Berlin, Technische Universtität Berlin, Diss., 2012
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Universitätsbibliothek der Technischen Universität Berlin
- (when)
-
2012
- Creator
- Contributor
-
Glesner, Sabine
- URN
-
urn:nbn:de:kobv:83-opus-35779
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 15.08.2025, 7:30 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.
Object type
- Hochschulschrift
Associated
- Göthel, Thomas
- Glesner, Sabine
- Universitätsbibliothek der Technischen Universität Berlin
Time of origin
- 2012
Other Objects (12)
Abstraction-based verification of parameterized networks
Abstraction-based verification of parameterized networks
Exploring the limits of parameterized system verification
Parameterized verification and repair of concurrent systems
Exploring the limits of parameterized system verification
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
Verification of real-time systems through lazy approximations
Specification and verification of mobile real-time systems
Deployment and empirical verification of real-time schedules
Abstraction-based verification of parameterized networks
Abstraction-based verification of parameterized networks
Exploring the limits of parameterized system verification
Parameterized verification and repair of concurrent systems
Exploring the limits of parameterized system verification
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
Verification of real-time systems through lazy approximations
Specification and verification of mobile real-time systems
Deployment and empirical verification of real-time schedules
Abstraction-based verification of parameterized networks
Abstraction-based verification of parameterized networks
Exploring the limits of parameterized system verification
Parameterized verification and repair of concurrent systems
Exploring the limits of parameterized system verification
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
Verification of real-time systems through lazy approximations
Specification and verification of mobile real-time systems