1
0
0
(1 - 15 von 17
)
Barnes & Noble
www.barnesandnoble.com
... Sven Bünte Raimund Kirner On the Role of Non-functional Properties in Compiler Verification Jens Knoop Wolf Zimmermann Author Index Show More ... $ 54,99
TUMhttps://archive.model.in.tum.de › a...TUM - Chair VII - TUM - Technische Universität München
archive.model.in.tum.de
Sven Bünte and Michael Tautschnig. A Benchmarking Suite for Measurement-Based WCET Analysis Tools. In First International Conference on Software Testing, ...
ADO.NET - ActiveVB
www.activevb.de
Geht es um die Programmierung verteilter Windows-basierter Anwendungen mit Datenbankfunktionalität führt kein Weg an ADO vorbei. Dabei eröffnet die...
Aktuelle Anwendungen in Technik und Wirtschaft Echtzeit ...google.de
books.google.de
html Fehlertoleranzanalyse des FlexRay Startup-Prozesses Sven Bünte und Paul Milbredt” Technische 80 A. Hollmann 10 Zusammenfassung Literaturverzeichnis.
Leveraging Applications of Formal Methods, Verification, and ...google.de
books.google.de
... Sven Bünte, and Raimund Kirner On the Role of Non-functional Properties in Compiler Verification Jens Knoop and Wolf Zimmermann Author Index ...
Machines, Code, People: 50 things Zühlke engineers are ...google.de
books.google.de
... Sven Bünte, Stefan Reichert) Meeting with users is essential ...
Tools and Algorithms for the Construction and Analysis of ...google.de
books.google.de
... Sven Bünte Sebastian Burckhardt Doron Bustan Jan Carlson Chunqing Chen Ling Cheung Wei-Ngan Chin Alexandre David Cristina David Leonardo de Moura Jyotirmoy ...
Aktuelle Anwendungen in Technik und Wirtschaft Echtzeit ...google.ru
books.google.ru
... Fehlertoleranzanalyse des FlexRay Startup-Prozesses Sven Bünte und Paul Milbredt” Technische 80 A. Hollmann 10 Zusammenfassung Literaturverzeichnis.
Machines, Code, People: 50 things Zühlke engineers are ...google.ru
books.google.ru
79 Lean startup: taming the uncertainty (Eric Fehse, Sven Bünte, Stefan Reichert).
Reconfigurable Embedded Control Systems: Applications for ...google.ru
books.google.ru
Raimund Kirner University of Hertfordshire, UK Sven Bünte Technische Universität Wien, Austria Michael Zolda Technische Universität Wien, Austria ABSTRACT ...
Tools and Algorithms for the Construction and Analysis of ...google.ru
books.google.ru
... Amir Ben-Amram Nathalie Bertrand Per Bjesse Bruno Blanchet Ahmed Bouajjani Glenn Bruns Sven Bünte Sebastian Burckhardt Doron Bustan Jan Carlson Chunqing ...
Machines, Code, People: 50 things Zühlke engineers are passionate...
books.google.de
Learn about best practices, cultural philosophies, great ideas and practically proven concepts - in 50 short articles Zühlke engineers share what they are...
Tools and Algorithms for the Construction and Analysis of Systems:...
books.google.de
This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution,...
Leveraging Applications of Formal Methods, Verification, and...
books.google.de
4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October , 2010, Proceedings Tiziana Margaria, Bernhard Steffen. Context-Sensitivity in IPET for Measurement-Based Timing Analysis Michael Zolda, Sven Bünte, and Raimund Kirner ...
Reconfigurable Embedded Control Systems: Applications for Flexibility...
books.google.ru
Finally, we the authors demonstrate the potential provided by hardware virtualization with two case studies and discuss directions for future research. Chapter 5 Measurement-Based Timing Analysis for Reconfigurable Embedded Systems Raimund Kirner, University of Hertfordshire, UK Sven Bünte, ...
sortiert nach Relevanz / Datum