Hochschulschrift
Design and Verification of Behaviour-Based Systems Realising Task Sequences
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Kaiserslautern, Technische Universität Kaiserslautern, Diss., 2015
- Classification
-
Elektrotechnik, Elektronik
- Keyword
-
Robotik
Entwurf
Verifikation
Model Checking
Automat
Endlicher Automat
Roboter
Mobiler Roboter
Autonomer Roboter
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern
- (when)
-
2015
- Creator
- Contributor
- URN
-
urn:nbn:de:hbz:386-kluedo-41814
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:00 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
- Armbrust, Christopher
- Berns, Karsten
- Meyer, Roland
- Technische Universität Kaiserslautern
Time of origin
- 2015
Other Objects (12)
Synthesizing realistic verification tasks
Optimizing measurements sequences for quantum state verification
Wave-like behaviour in (0,1) binary sequences
Formal design and verification of system task in intelligent transportation systems based on micro-kernel architecture
Sequential behaviour in the rat : design and applications of a serial reaction time task
Cryptographic security architecture : design and verification
Multi-task Learning-Based Spoofing-Robust Automatic Speaker Verification System
Verification of medical guidelines using task execution with background knowledge
Pattern-based business process design and verification
Phased design and verification of stabilizing systems
Embedded systems: design, analysis and verification : proceedings
Correct hardware design and verification methods : proceedings
Synthesizing realistic verification tasks
Optimizing measurements sequences for quantum state verification
Wave-like behaviour in (0,1) binary sequences
Formal design and verification of system task in intelligent transportation systems based on micro-kernel architecture
Sequential behaviour in the rat : design and applications of a serial reaction time task
Cryptographic security architecture : design and verification
Multi-task Learning-Based Spoofing-Robust Automatic Speaker Verification System
Verification of medical guidelines using task execution with background knowledge
Pattern-based business process design and verification
Phased design and verification of stabilizing systems
Embedded systems: design, analysis and verification : proceedings
Correct hardware design and verification methods : proceedings
Synthesizing realistic verification tasks
Optimizing measurements sequences for quantum state verification
Wave-like behaviour in (0,1) binary sequences
Formal design and verification of system task in intelligent transportation systems based on micro-kernel architecture
Sequential behaviour in the rat : design and applications of a serial reaction time task
Cryptographic security architecture : design and verification
Multi-task Learning-Based Spoofing-Robust Automatic Speaker Verification System
Verification of medical guidelines using task execution with background knowledge
Pattern-based business process design and verification
Phased design and verification of stabilizing systems
Embedded systems: design, analysis and verification : proceedings