Monografie
Integrating formal verification into the model-based development of adaptive embedded systems
- Ausgabe
-
1. Aufl.
- Sprache
-
Englisch
- Umfang
-
276 S.
- Anmerkungen
-
Zugl.: Kaiserslautern, Techn. Univ., Diss., 2008
- ISBN
-
978-3-89963-862-2
- Identifier
-
992163064
- Reihe
-
Informatik
- Thema
-
Eingebettetes System ; Adaptives System ; MDA ; Verifikation ; Formale Methode ; Modelltransformation ; Hochschulschrift
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:33 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
- Monografie
Beteiligte
Ähnliche Objekte (12)
Model-Based Run-time Verification of Software Components by Integrating OCL into Treaty
Optimized hybrid verification of embedded software
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Integrating Symbolic Execution, Debugging and Verification
Evaluation of a Model-Based Development Process for Automotive Embedded Systems - Model-Based Development of an Adaptive Cruise Control System
Embedded systems: design, analysis and verification : proceedings
Verification of temporal properties in embedded software
Model-based Design of Embedded Systems by Desynchronization
Adaptive Data Processing in Embedded Networks
Low complexity embedded fingerprint verification and identification system
Virtual prototype centric verification for embedded system development
Model-Based Run-time Verification of Software Components by Integrating OCL into Treaty
Optimized hybrid verification of embedded software
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Integrating Symbolic Execution, Debugging and Verification
Evaluation of a Model-Based Development Process for Automotive Embedded Systems - Model-Based Development of an Adaptive Cruise Control System
Embedded systems: design, analysis and verification : proceedings
Verification of temporal properties in embedded software
Model-based Design of Embedded Systems by Desynchronization
Adaptive Data Processing in Embedded Networks
Low complexity embedded fingerprint verification and identification system
Virtual prototype centric verification for embedded system development
Model-Based Run-time Verification of Software Components by Integrating OCL into Treaty
Optimized hybrid verification of embedded software
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Integrating Symbolic Execution, Debugging and Verification
Evaluation of a Model-Based Development Process for Automotive Embedded Systems - Model-Based Development of an Adaptive Cruise Control System
Embedded systems: design, analysis and verification : proceedings
Verification of temporal properties in embedded software
Model-based Design of Embedded Systems by Desynchronization
Adaptive Data Processing in Embedded Networks
Low complexity embedded fingerprint verification and identification system