Search results for: Sebastian Fischmeister
IEEE Transactions on Computers > 2014 > 63 > 1 > 218 - 229
Formal Methods in System Design > 2013 > 43 > 1 > 29-60
Real-Time Systems > 2013 > 49 > 6 > 669-714
Design Automation for Embedded Systems > 2013 > 17 > 2 > 215-219
Journal of Systems Architecture > 2012 > 58 > 9 > 372-385
Real-Time Systems > 2012 > 48 > 4 > 430-462
ETFA2011 > 1 - 9