Hochschulschrift
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832520786
- Maße
-
21 cm
- Umfang
-
X, 189 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Paderborn, Univ., Diss., 2008
- Klassifikation
-
Elektrotechnik, Elektronik
- Schlagwort
-
Systemplattform
Mechatronik
Selbsteinstellendes System
ASI
Softwareentwicklung
UML
Sicherheitskritisches System
Eingebettetes System
Modellgetriebene Entwicklung
Echtzeitverarbeitung
Verifikation
Formale Methode
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:16 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.
Objekttyp
- Hochschulschrift
Beteiligte
- Hirsch, Martin
- Logos-Verl.
Entstanden
- 2008
Ähnliche Objekte (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