Search results for: Benedikt Huber
Real-Time Systems > 2018 > 54 > 2 > 389-423
Lecture Notes in Computer Science > Software Technologies for Embedded and Ubiquitous Systems > 180-191
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Resource and Timing Analysis > 464-478
Journal of Systems Architecture > 2015 > 61 > 9 > 449-471
Chemistry – A European Journal > 21 > 6 > 2613 - 2620
Journal of Molecular Liquids > 2014 > 192 > Complete > 44-54
Journal of Organometallic Chemistry > 2014 > 749 > Complete > 219-223
Solid State Ionics > 2013 > 247-248 > Complete > 15-21
Real-Time Systems > 2013 > 49 > 1 > 1-28
Concurrency and Computation: Practice and Experience > 24 > 8 > 753 - 771
Electrochimica Acta > 2011 > 56 > 19 > 6569-6572
Software: Practice and Experience > 40 > 6 > 507 - 542
Wiener klinische Wochenschrift > 2006 > 118 > 19-20 > 573-579