Hochschulschrift
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832520786
- Dimensions
-
21 cm
- Extent
-
X, 189 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Paderborn, Univ., Diss., 2008
- Classification
-
Elektrotechnik, Elektronik
- Keyword
-
Systemplattform
Mechatronik
Selbsteinstellendes System
ASI
Softwareentwicklung
UML
Sicherheitskritisches System
Eingebettetes System
Modellgetriebene Entwicklung
Echtzeitverarbeitung
Verifikation
Formale Methode
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:16 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.
Object type
- Hochschulschrift
Associated
- Hirsch, Martin
- Logos-Verl.
Time of origin
- 2008
Other Objects (12)
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Modellbasierte Optimierung von mechatronischen Systemen für sicherheitsrelevante Fahrzeuganwendungen
SAT-basierte Verifikation von Graphtransformationseinheiten
Modellbasierte Ertragskontrolle für PV Anlagen in vernetzten Gebäuden
Petri-Netz-basierte Verifikation von funktionalen Testfällen
Modell-basierte Systemsimulation eines Kleinsatelliten mit einem FPGA-basierten On-board-Computer
Graphik-basierte Modellbildung, Simulation und Verifikation mehrachsiger NC-Bearbeitungsvorgänge
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext
Modell-basierte Röntgenstereometrie-Analyse einer tibialen Keramik-Knie-Endoprothesenkomponente
Lebensdauerüberwachung in mechatronischen Systemen
Modellbildung in mechatronischen Systemen
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Modellbasierte Optimierung von mechatronischen Systemen für sicherheitsrelevante Fahrzeuganwendungen
SAT-basierte Verifikation von Graphtransformationseinheiten
Modellbasierte Ertragskontrolle für PV Anlagen in vernetzten Gebäuden
Petri-Netz-basierte Verifikation von funktionalen Testfällen
Modell-basierte Systemsimulation eines Kleinsatelliten mit einem FPGA-basierten On-board-Computer
Graphik-basierte Modellbildung, Simulation und Verifikation mehrachsiger NC-Bearbeitungsvorgänge
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext
Modell-basierte Röntgenstereometrie-Analyse einer tibialen Keramik-Knie-Endoprothesenkomponente
Lebensdauerüberwachung in mechatronischen Systemen
Modellbildung in mechatronischen Systemen
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Modellbasierte Optimierung von mechatronischen Systemen für sicherheitsrelevante Fahrzeuganwendungen
SAT-basierte Verifikation von Graphtransformationseinheiten
Modellbasierte Ertragskontrolle für PV Anlagen in vernetzten Gebäuden
Petri-Netz-basierte Verifikation von funktionalen Testfällen
Modell-basierte Systemsimulation eines Kleinsatelliten mit einem FPGA-basierten On-board-Computer
Graphik-basierte Modellbildung, Simulation und Verifikation mehrachsiger NC-Bearbeitungsvorgänge
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext
Modell-basierte Röntgenstereometrie-Analyse einer tibialen Keramik-Knie-Endoprothesenkomponente
Lebensdauerüberwachung in mechatronischen Systemen