Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods
- Weitere Titel
-
Quellcode-basierte Zeitanalyse eingebetteter Software mit Hilfe funktionaler Verifikationsmethoden
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
München, Technische Universität München, Dissertation, 2020
- Schlagwort
-
Downside
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
Universitätsbibliothek der TU München
- (wann)
-
2020
- Urheber
-
Becker, Martin
- Beteiligte Personen und Organisationen
-
Chakraborty, Samarjit
Müller-Gritschneder, Daniel
Caccamo, Marco
- URN
-
urn:nbn:de:bvb:91-diss-20200526-1506241-1-3
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:32 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.
Beteiligte
- Becker, Martin
- Chakraborty, Samarjit
- Müller-Gritschneder, Daniel
- Caccamo, Marco
- Universitätsbibliothek der TU München
Entstanden
- 2020
Ähnliche Objekte (12)
Charakterisierung eines Kernpolyedervirus der Kohleule, Mamestra brassicae L. und dessen Nachweis mit molekularen DNA-Hybridisierungssonden
Die zeit- und dosisabhängige Wirkung von LHRH-Agonisten und LHRH-Antagonisten auf menschliche Ovarialkarzinomzellen in vitro
Veränderungen der peripheren Hämodynamik bei Hypertonie unter Berücksichtigung weiterer Risikofaktoren der Arteriosklerose
Serum-CPK-Aktivität und -CPK-Isoenzyme bei gesunden, asphyktischen und perinatal hirngeschädigten normal- und untergewichtigen Neugeborenen
Kanzel
Spezialvikare
Becker, Martin; Lehrer
Becker, Martin
Fraktionierung von HB-Ag-haltigem Plasma durch Ionenaustausch-Chromatographie mit DEAE-Sephadex A50®
Elektrische Beleuchtungszentrale für Zweibrücken (Pfalz) (Antragsteller: Ingenieur Martin Becker)
Altern in gewohnter Umgebung in ländlichen und städtischen Wohnquartieren: empirische Studie im Auftrag der Stadt Offenburg (2007)
Staubniederschlagsmessungen mit Haftfolien zur Beurteilung des Verunreinigungsgrades der Luft
Charakterisierung eines Kernpolyedervirus der Kohleule, Mamestra brassicae L. und dessen Nachweis mit molekularen DNA-Hybridisierungssonden
Die zeit- und dosisabhängige Wirkung von LHRH-Agonisten und LHRH-Antagonisten auf menschliche Ovarialkarzinomzellen in vitro
Veränderungen der peripheren Hämodynamik bei Hypertonie unter Berücksichtigung weiterer Risikofaktoren der Arteriosklerose
Serum-CPK-Aktivität und -CPK-Isoenzyme bei gesunden, asphyktischen und perinatal hirngeschädigten normal- und untergewichtigen Neugeborenen
Kanzel
Spezialvikare
Becker, Martin; Lehrer
Becker, Martin
Fraktionierung von HB-Ag-haltigem Plasma durch Ionenaustausch-Chromatographie mit DEAE-Sephadex A50®
Elektrische Beleuchtungszentrale für Zweibrücken (Pfalz) (Antragsteller: Ingenieur Martin Becker)
Altern in gewohnter Umgebung in ländlichen und städtischen Wohnquartieren: empirische Studie im Auftrag der Stadt Offenburg (2007)
Staubniederschlagsmessungen mit Haftfolien zur Beurteilung des Verunreinigungsgrades der Luft
Charakterisierung eines Kernpolyedervirus der Kohleule, Mamestra brassicae L. und dessen Nachweis mit molekularen DNA-Hybridisierungssonden
Die zeit- und dosisabhängige Wirkung von LHRH-Agonisten und LHRH-Antagonisten auf menschliche Ovarialkarzinomzellen in vitro
Veränderungen der peripheren Hämodynamik bei Hypertonie unter Berücksichtigung weiterer Risikofaktoren der Arteriosklerose
Serum-CPK-Aktivität und -CPK-Isoenzyme bei gesunden, asphyktischen und perinatal hirngeschädigten normal- und untergewichtigen Neugeborenen
Kanzel
Spezialvikare
Becker, Martin; Lehrer
Becker, Martin
Fraktionierung von HB-Ag-haltigem Plasma durch Ionenaustausch-Chromatographie mit DEAE-Sephadex A50®
Elektrische Beleuchtungszentrale für Zweibrücken (Pfalz) (Antragsteller: Ingenieur Martin Becker)
Altern in gewohnter Umgebung in ländlichen und städtischen Wohnquartieren: empirische Studie im Auftrag der Stadt Offenburg (2007)