- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Kassel, Universität Kassel, Dissertation, 2021
- Keyword
-
Autonomer Roboter
Mehragentensystem
Planung
Verifikation
Übersetzer
Mensch-Maschine-Kommunikation
Fehlererkennung
- Event
-
Veröffentlichung
- (where)
-
Kassel
- (who)
-
Universitätsbibliothek Kassel
- (when)
-
2021
- Creator
-
Nguyen Van, Thao
- DOI
-
10.17170/kobra-202111125069
- URN
-
urn:nbn:de:101:1-2022052517463027745921
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:54 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.
Associated
- Nguyen Van, Thao
- Universitätsbibliothek Kassel
Time of origin
- 2021
Other Objects (12)
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Counterexample Generation for Formal Verification of ABS
Formal verification methodologies for nonlinear analog circuits
Modelling Memory Consistency Models for Formal Verification
Formal methods for hardware verification : advanced lectures
Formal verification methodologies for nonlinear analog circuits
Formal Specification and Verification for Automated Production Systems
Design of a Formal Estelle Semantics for Verification
Formal verification of pipelined microprocessors
Formal Verification in Automated Manufacturing
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Counterexample Generation for Formal Verification of ABS
Formal verification methodologies for nonlinear analog circuits
Modelling Memory Consistency Models for Formal Verification
Formal methods for hardware verification : advanced lectures
Formal verification methodologies for nonlinear analog circuits
Formal Specification and Verification for Automated Production Systems
Design of a Formal Estelle Semantics for Verification
Formal verification of pipelined microprocessors
Formal Verification in Automated Manufacturing
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Counterexample Generation for Formal Verification of ABS
Formal verification methodologies for nonlinear analog circuits
Modelling Memory Consistency Models for Formal Verification
Formal methods for hardware verification : advanced lectures
Formal verification methodologies for nonlinear analog circuits
Formal Specification and Verification for Automated Production Systems
Design of a Formal Estelle Semantics for Verification
Formal verification of pipelined microprocessors