Monografie
Model-based testing of real-time embedded systems in the automotive domain
- Sprache
-
Englisch
- Anmerkungen
-
Berlin, Techn. Univ., Diss., 2008
- Identifier
-
993865100
Thema
Kraftfahrzeugelektronik ; Eingebettetes System ; Echtzeitsystem ; Softwaretest ; Hochschulschrift
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:57 MEZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Model-based testing of real-time embedded systems in the automotive domain
Specification and verification of the embedded real-time systems in the automotive domain = Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen
Testen von Software und Embedded Systems : professionelles Vorgehen mit modellbasierten und objektorientierten Ansätzen
An integration of Z and Timed CSP for specifying real time embedded systems
A model-based approach for exploring the space of adaptation behaviors of safety-related embedded systems
Model based construction of embedded and real-time software : a methodology for small devices
Performence characterization and sensitivity analysis of real-time embedded systems
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
A formal framework for optimizing the design of distributed real-time embedded systems
Optimisation of battery operating life considering software tasks and their timing behaviour
Modular performance analysis of embedded real-time systems : improving modeling scope and accuracy
Realzeitfähiges Datenmanagement für eingebettete Systeme mit aktiven Realzeitdatenbanken
Model-based testing of real-time embedded systems in the automotive domain
Specification and verification of the embedded real-time systems in the automotive domain = Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen
Testen von Software und Embedded Systems : professionelles Vorgehen mit modellbasierten und objektorientierten Ansätzen
An integration of Z and Timed CSP for specifying real time embedded systems
A model-based approach for exploring the space of adaptation behaviors of safety-related embedded systems
Model based construction of embedded and real-time software : a methodology for small devices
Performence characterization and sensitivity analysis of real-time embedded systems
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
A formal framework for optimizing the design of distributed real-time embedded systems
Optimisation of battery operating life considering software tasks and their timing behaviour
Modular performance analysis of embedded real-time systems : improving modeling scope and accuracy
Realzeitfähiges Datenmanagement für eingebettete Systeme mit aktiven Realzeitdatenbanken
Model-based testing of real-time embedded systems in the automotive domain
Specification and verification of the embedded real-time systems in the automotive domain = Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen
Testen von Software und Embedded Systems : professionelles Vorgehen mit modellbasierten und objektorientierten Ansätzen
An integration of Z and Timed CSP for specifying real time embedded systems
A model-based approach for exploring the space of adaptation behaviors of safety-related embedded systems
Model based construction of embedded and real-time software : a methodology for small devices
Performence characterization and sensitivity analysis of real-time embedded systems
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
A formal framework for optimizing the design of distributed real-time embedded systems
Optimisation of battery operating life considering software tasks and their timing behaviour
Modular performance analysis of embedded real-time systems : improving modeling scope and accuracy