Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods
- Alternative title
-
Quellcode-basierte Zeitanalyse eingebetteter Software mit Hilfe funktionaler Verifikationsmethoden
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Dissertation, 2020
- Keyword
-
Downside
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2020
- Creator
-
Becker, Martin
- Contributor
-
Chakraborty, Samarjit
Müller-Gritschneder, Daniel
Caccamo, Marco
- URN
-
urn:nbn:de:bvb:91-diss-20200526-1506241-1-3
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:32 AM 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.
Associated
- Becker, Martin
- Chakraborty, Samarjit
- Müller-Gritschneder, Daniel
- Caccamo, Marco
- Universitätsbibliothek der TU München
Time of origin
- 2020
Other Objects (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®
"MehrLiN - Mehr Lebensqualität in Nordwest": Gutachten zum integrierten Entwicklungskonzept Nordweststadt Offenburg
Staubniederschlagsmessungen mit Haftfolien zur Beurteilung des Verunreinigungsgrades der Luft
Elektrische Beleuchtungszentrale für Zweibrücken (Pfalz) (Antragsteller: Ingenieur Martin Becker)
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®
"MehrLiN - Mehr Lebensqualität in Nordwest": Gutachten zum integrierten Entwicklungskonzept Nordweststadt Offenburg
Staubniederschlagsmessungen mit Haftfolien zur Beurteilung des Verunreinigungsgrades der Luft
Elektrische Beleuchtungszentrale für Zweibrücken (Pfalz) (Antragsteller: Ingenieur Martin Becker)
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®
"MehrLiN - Mehr Lebensqualität in Nordwest": Gutachten zum integrierten Entwicklungskonzept Nordweststadt Offenburg
Staubniederschlagsmessungen mit Haftfolien zur Beurteilung des Verunreinigungsgrades der Luft