Hochschulschrift
A verification plan for systematic verification of mechatronic systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832282516
- Maße
-
21 cm, 252 gr.
- Umfang
-
II, 160 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Paderborn, Univ., Diss., 2009
- Erschienen in
-
C-LAB publication / C-LAB ; Bd. 29
- Klassifikation
-
Elektrotechnik, Elektronik
- Schlagwort
-
Systementwicklung
Mechatronik
Modellgetriebene Entwicklung
CAT
Funktionstest
Verifikation
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:31 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
- Krupp, Alfred Alexander
- Shaker
Entstanden
- 2009
Ähnliche Objekte (12)
Verification and simulation of self-adaptive mechatronic systems
Verification and simulation of self-adaptive mechatronic systems
Verification and simulation of self-adaptive mechatronic systems
Compositional stability verification of hybrid systems
Program verification in synthetic domain theory
Automated validation and verification of railway specific components and systems
Advanced automation in formal verification of processors
Symbolic methods applied to formal verification and synthesis in embedded systems design
Adaptive control of mechatronic vehicle suspension systems
Self-Verification - Verification of Embedded Systems after Deployment
Application-driven post-silicon verification of automotive smart power ICs
Determination and verification of posible resource savings in manual dishwashing
Verification and simulation of self-adaptive mechatronic systems
Verification and simulation of self-adaptive mechatronic systems
Verification and simulation of self-adaptive mechatronic systems
Compositional stability verification of hybrid systems
Program verification in synthetic domain theory
Automated validation and verification of railway specific components and systems
Advanced automation in formal verification of processors
Symbolic methods applied to formal verification and synthesis in embedded systems design
Adaptive control of mechatronic vehicle suspension systems
Self-Verification - Verification of Embedded Systems after Deployment
Application-driven post-silicon verification of automotive smart power ICs
Determination and verification of posible resource savings in manual dishwashing
Verification and simulation of self-adaptive mechatronic systems
Verification and simulation of self-adaptive mechatronic systems
Verification and simulation of self-adaptive mechatronic systems
Compositional stability verification of hybrid systems
Program verification in synthetic domain theory
Automated validation and verification of railway specific components and systems
Advanced automation in formal verification of processors
Symbolic methods applied to formal verification and synthesis in embedded systems design
Adaptive control of mechatronic vehicle suspension systems
Self-Verification - Verification of Embedded Systems after Deployment
Application-driven post-silicon verification of automotive smart power ICs