Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique

Tayfun Gezgin, Björn Koopmann, Achim Rettberg. Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique. In Marcelo Götz, Gunar Schirner, Marco Aurélio Wehrmeister, Mohammad Abdullah Al Faruque, Achim Rettberg, editors, System Level Design from HW/SW to Memory for Embedded Systems - 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3-6, 2015, Proceedings. Volume 523 of IFIP Advances in Information and Communication Technology, pages 88-99, Springer, 2015. [doi]

Abstract

Abstract is missing.