Monografie
Iterative design space exploration and robustness optimization for embedded systems
- Ausgabe
-
1. Aufl.
- Sprache
-
Englisch
- Umfang
-
XIV, 211 S.
- Anmerkungen
-
Zugl.: Braunschweig, Techn. Univ., Diss., 2008
- ISBN
-
978-3-86727-819-5
- Identifier
-
992301777
Thema
Eingebettetes System ; Systementwurf ; Systemanalyse ; Verifikation ; Robustheit ; Leistungsbewertung ; Hochschulschrift
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:29 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Performence characterization and sensitivity analysis of real-time embedded systems
Concurrency and hardware design : advances in Petri nets
Automated technology for verification and analysis : 9th international symposium ; proceedings
Automated technology for verification and analysis : 7th international symposium ; proceedings
Automated technology for verification and analysis : 6th international symposium ; proceedings
Modular performance analysis of embedded real-time systems : improving modeling scope and accuracy
Establishing sufficient temporal independence efficiently : a monitoring approach
Automated technology for verification and analysis : 4th international symposium ; proceedings
Model-based engineering of embedded systems : the SPES 2020 methodology
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Developing a design flow for embedded systems
Performence characterization and sensitivity analysis of real-time embedded systems
Concurrency and hardware design : advances in Petri nets
Automated technology for verification and analysis : 9th international symposium ; proceedings
Automated technology for verification and analysis : 7th international symposium ; proceedings
Automated technology for verification and analysis : 6th international symposium ; proceedings
Modular performance analysis of embedded real-time systems : improving modeling scope and accuracy
Establishing sufficient temporal independence efficiently : a monitoring approach
Automated technology for verification and analysis : 4th international symposium ; proceedings
Model-based engineering of embedded systems : the SPES 2020 methodology
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Developing a design flow for embedded systems
Performence characterization and sensitivity analysis of real-time embedded systems
Concurrency and hardware design : advances in Petri nets
Automated technology for verification and analysis : 9th international symposium ; proceedings
Automated technology for verification and analysis : 7th international symposium ; proceedings
Automated technology for verification and analysis : 6th international symposium ; proceedings
Modular performance analysis of embedded real-time systems : improving modeling scope and accuracy
Establishing sufficient temporal independence efficiently : a monitoring approach
Automated technology for verification and analysis : 4th international symposium ; proceedings
Model-based engineering of embedded systems : the SPES 2020 methodology
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze