- Weitere Titel
-
Maschinelle Verifikation von Parametrisierten Echtzeitsystemen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Berlin, Technische Universtität Berlin, Diss., 2012
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Universitätsbibliothek der Technischen Universität Berlin
- (wann)
-
2012
- Urheber
- Beteiligte Personen und Organisationen
-
Glesner, Sabine
- URN
-
urn:nbn:de:kobv:83-opus-35779
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
2025-03-25T13:54:17+0100
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
- Göthel, Thomas
- Glesner, Sabine
- Universitätsbibliothek der Technischen Universität Berlin
Entstanden
- 2012
Ähnliche Objekte (12)
Abstraction-based verification of parameterized networks
Abstraction-based verification of parameterized networks
RAVEN : real-time analyzing and verification environment
Pervasive verification of distributed real-time systems
Verification architectures for complex real-time systems
Exploring the limits of parameterized system verification
Parameterized verification and repair of concurrent systems
Exploring the limits of parameterized system verification
Deployment and empirical verification of real-time schedules
Verification of real-time systems through lazy approximations
Specification and verification of mobile real-time systems
Investigation and verification of real-time schedules via simulation
Abstraction-based verification of parameterized networks
Abstraction-based verification of parameterized networks
RAVEN : real-time analyzing and verification environment
Pervasive verification of distributed real-time systems
Verification architectures for complex real-time systems
Exploring the limits of parameterized system verification
Parameterized verification and repair of concurrent systems
Exploring the limits of parameterized system verification
Deployment and empirical verification of real-time schedules
Verification of real-time systems through lazy approximations
Specification and verification of mobile real-time systems
Investigation and verification of real-time schedules via simulation
Abstraction-based verification of parameterized networks
Abstraction-based verification of parameterized networks
RAVEN : real-time analyzing and verification environment
Pervasive verification of distributed real-time systems
Verification architectures for complex real-time systems
Exploring the limits of parameterized system verification
Parameterized verification and repair of concurrent systems
Exploring the limits of parameterized system verification
Deployment and empirical verification of real-time schedules
Verification of real-time systems through lazy approximations
Specification and verification of mobile real-time systems