- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Kassel, Universität Kassel, Dissertation, 2021
- Schlagwort
-
Autonomer Roboter
Mehragentensystem
Planung
Verifikation
Übersetzer
Mensch-Maschine-Kommunikation
Fehlererkennung
- Ereignis
-
Veröffentlichung
- (wo)
-
Kassel
- (wer)
-
Universitätsbibliothek Kassel
- (wann)
-
2021
- Urheber
-
Nguyen Van, Thao
- DOI
-
10.17170/kobra-202111125069
- URN
-
urn:nbn:de:101:1-2022052517463027745921
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:54 MEZ
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.
Beteiligte
- Nguyen Van, Thao
- Universitätsbibliothek Kassel
Entstanden
- 2021
Ähnliche Objekte (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