Hochschulschrift
A problem-oriented approach for dynamic verification of heterogeneous embedded systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783731501695
3731501694
- Dimensions
-
24 cm, 415 g
- Extent
-
X, 168 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Hergestellt on demand
Zugl.: Karlsruhe, Karlsruher Inst. für Technologie, Diss., 2013
- Classification
-
Elektrotechnik, Elektronik
- Keyword
-
Eingebettetes System
CAD
Virtuelle Produktentwicklung
Systemmodell
CASHE
Computersimulation
Domänenspezifische Programmiersprache
SystemC
Verifikation
Automatisierungstechnik
- Event
-
Veröffentlichung
- (where)
-
Karlsruhe
- (who)
-
KIT Scientific Publ.
- (when)
-
2014
- Creator
- 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:01 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
- Mendoza Cervantes, Francisco
- KIT Scientific Publ.
Time of origin
- 2014
Other Objects (12)
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Verification-based software-fault detection
Service-oriented design of environmental information systems
Organic service-level management in service-oriented environments
Tool-supported identification of functional concerns in object-oriented code
F+E-Vorhaben KEWA, Phase 6. 2010/2011
F+E-Vorhaben KEWA, Phase 1.2005/06.
Jahresbericht / Institut für Hochleistungsimpuls- und Mikrowellentechnik, 2004
F+E-Vorhaben KEWA, Phase 2.2006/07.
Jahresbericht / Institut für Hochleistungsimpuls- und Mikrowellentechnik, 2006
Jahresbericht / Institut für Hochleistungsimpuls- und Mikrowellentechnik, 2007
F+E-Vorhaben KEWA, Phase 3.2007/08.
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Verification-based software-fault detection
Service-oriented design of environmental information systems
Organic service-level management in service-oriented environments
Tool-supported identification of functional concerns in object-oriented code
F+E-Vorhaben KEWA, Phase 6. 2010/2011
F+E-Vorhaben KEWA, Phase 1.2005/06.
Jahresbericht / Institut für Hochleistungsimpuls- und Mikrowellentechnik, 2004
F+E-Vorhaben KEWA, Phase 2.2006/07.
Jahresbericht / Institut für Hochleistungsimpuls- und Mikrowellentechnik, 2006
Jahresbericht / Institut für Hochleistungsimpuls- und Mikrowellentechnik, 2007
F+E-Vorhaben KEWA, Phase 3.2007/08.
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Verification-based software-fault detection
Service-oriented design of environmental information systems
Organic service-level management in service-oriented environments
Tool-supported identification of functional concerns in object-oriented code
F+E-Vorhaben KEWA, Phase 6. 2010/2011
F+E-Vorhaben KEWA, Phase 1.2005/06.
Jahresbericht / Institut für Hochleistungsimpuls- und Mikrowellentechnik, 2004
F+E-Vorhaben KEWA, Phase 2.2006/07.
Jahresbericht / Institut für Hochleistungsimpuls- und Mikrowellentechnik, 2006
Jahresbericht / Institut für Hochleistungsimpuls- und Mikrowellentechnik, 2007