Hochschulschrift
Integrating formal verification into the model-based development of adaptive embedded systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783899638622
- Dimensions
-
21 cm, 369 gr.
- Extent
-
276 S.
- Edition
-
1. Aufl.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Kaiserslautern, Techn. Univ., Diss., 2008
- Keyword
-
Eingebettetes System
Adaptives System
MDA
Verifikation
Formale Methode
Modelltransformation
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
- 11.06.2025, 2:20 PM CEST
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
- Schaefer, Ina
- Verl. Dr. Hut
Time of origin
- 2008
Other Objects (12)
Model-based damper control for semi-active suspension systems
Ground verification of telepresence for on-orbit servicing
Synthesis of online diagnostic techniques for embedded systems
Mixed signal circuit verification using symbolic model checking techniques
Static analysis of embedded software with priority scheduling and interrupts
Software performance estimation methods for system level design of embedded systems
Model-based recursive partitioning meets item response theory : new statistical methods for the detection of differential Item functioning and appropriate anchor selection
Adaptive Entzerrung und Takt- und Datenrückgewinnung unter Verwendung eines Augenöffnungsmonitors in einer integrierten CMOS-Empfängerschaltung für die leitungsgebundene Chip-to-Chip-Kommunikation bei 10 Gbit/s
Entwicklung neuer stereo- und chemoselektiver Methoden zur Synthese von polyketiden Verbindungen, Heterozyklen und Aziden
About the interplay of NMR spectroscopy and molecular modeling within bioorganic and medicinal chemistry
HPLC-MS-, MS-Analyse von Immunsuppressiva direkt in Vollblut
NMR-spektroskopische Untersuchungen von Wasserstoffbrückennetzwerken in Argininkomplexen und Rotaxanen
Model-based damper control for semi-active suspension systems
Ground verification of telepresence for on-orbit servicing
Synthesis of online diagnostic techniques for embedded systems
Mixed signal circuit verification using symbolic model checking techniques
Static analysis of embedded software with priority scheduling and interrupts
Software performance estimation methods for system level design of embedded systems
Model-based recursive partitioning meets item response theory : new statistical methods for the detection of differential Item functioning and appropriate anchor selection
Adaptive Entzerrung und Takt- und Datenrückgewinnung unter Verwendung eines Augenöffnungsmonitors in einer integrierten CMOS-Empfängerschaltung für die leitungsgebundene Chip-to-Chip-Kommunikation bei 10 Gbit/s
Entwicklung neuer stereo- und chemoselektiver Methoden zur Synthese von polyketiden Verbindungen, Heterozyklen und Aziden
About the interplay of NMR spectroscopy and molecular modeling within bioorganic and medicinal chemistry
HPLC-MS-, MS-Analyse von Immunsuppressiva direkt in Vollblut
NMR-spektroskopische Untersuchungen von Wasserstoffbrückennetzwerken in Argininkomplexen und Rotaxanen
Model-based damper control for semi-active suspension systems
Ground verification of telepresence for on-orbit servicing
Synthesis of online diagnostic techniques for embedded systems
Mixed signal circuit verification using symbolic model checking techniques
Static analysis of embedded software with priority scheduling and interrupts
Software performance estimation methods for system level design of embedded systems
Model-based recursive partitioning meets item response theory : new statistical methods for the detection of differential Item functioning and appropriate anchor selection
Adaptive Entzerrung und Takt- und Datenrückgewinnung unter Verwendung eines Augenöffnungsmonitors in einer integrierten CMOS-Empfängerschaltung für die leitungsgebundene Chip-to-Chip-Kommunikation bei 10 Gbit/s
Entwicklung neuer stereo- und chemoselektiver Methoden zur Synthese von polyketiden Verbindungen, Heterozyklen und Aziden
About the interplay of NMR spectroscopy and molecular modeling within bioorganic and medicinal chemistry
HPLC-MS-, MS-Analyse von Immunsuppressiva direkt in Vollblut