Hochschulschrift
Rapid Creation of Interactive Formal Prototypes for Validating Safety-Critical Systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Düsseldorf, Heinrich-Heine-Universität, Dissertation, 2017
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Düsseldorf
- (wer)
-
Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf
- (wann)
-
2017
- Urheber
- Beteiligte Personen und Organisationen
-
Leuschel, Michael
Gorm Larsen, Peter
- URN
-
urn:nbn:de:hbz:061-20170530-104959-8
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:25 MESZ
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
- Ladenberger, Lukas
- Leuschel, Michael
- Gorm Larsen, Peter
- Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf
Entstanden
- 2017
Ähnliche Objekte (12)
Generating Interactive Prototypes from Query Annotated Discourse Models
Prototypes
Towards the Efficient Creation of Accurate and High-Performance Virtual Prototypes
Erlkönig, Prototypes
Interactive creation of instructions for INGA
Validating attentive locomotion training using interactive treadmill: an fNIRS study
The creation of phenomena in interactive biorobotics
Tool support for collaborative creation of interactive storytelling media
Tool support for collaborative creation of interactive storytelling media
A functional view on prototypes
Object oriented programming with prototypes
7 Prototypes for Compact Cities
Generating Interactive Prototypes from Query Annotated Discourse Models
Prototypes
Towards the Efficient Creation of Accurate and High-Performance Virtual Prototypes
Erlkönig, Prototypes
Interactive creation of instructions for INGA
Validating attentive locomotion training using interactive treadmill: an fNIRS study
The creation of phenomena in interactive biorobotics
Tool support for collaborative creation of interactive storytelling media
Tool support for collaborative creation of interactive storytelling media
A functional view on prototypes
Object oriented programming with prototypes
7 Prototypes for Compact Cities
Generating Interactive Prototypes from Query Annotated Discourse Models
Prototypes
Towards the Efficient Creation of Accurate and High-Performance Virtual Prototypes
Erlkönig, Prototypes
Interactive creation of instructions for INGA
Validating attentive locomotion training using interactive treadmill: an fNIRS study
The creation of phenomena in interactive biorobotics
Tool support for collaborative creation of interactive storytelling media
Tool support for collaborative creation of interactive storytelling media
A functional view on prototypes
Object oriented programming with prototypes