Hochschulschrift | Online-Publikation
Formal methods for real-time requirements engineering
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Saarbrücken, Univ., Diss., 2004
- Classification
-
Informatik
- Keyword
-
Echtzeitsystem
Requirements engineering
Formale Methode
Echtzeitsystem; Model checking; Informationslogistik
- Creator
-
Rock, Georg
- URN
-
urn:nbn:de:bsz:291-scidok-2611
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:51 PM CET
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
- Online-Publikation
Associated
- Rock, Georg
Other Objects (12)
Formal Specifications of Real-Time Requirements for Building Automation Systems
Formal methods in systems engineering
Domain-specific Adaptation of Requirements Engineering Methods
Domain-specific adaptation of requirements engineering methods
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal foundations for software engineering methods
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal Specifications of Real-Time Requirements for Building Automation Systems
Formal methods in systems engineering
Domain-specific Adaptation of Requirements Engineering Methods
Domain-specific adaptation of requirements engineering methods
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal foundations for software engineering methods
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal Specifications of Real-Time Requirements for Building Automation Systems
Formal methods in systems engineering
Domain-specific Adaptation of Requirements Engineering Methods
Domain-specific adaptation of requirements engineering methods
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal foundations for software engineering methods
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings