Automata-based refinement checking for real-time systems
Heinzemann, Christian, Brenner, Christian, Dziwok, Stefan, Schäfer, WilhelmVolume:
30
Language:
english
Journal:
Computer Science - Research and Development
DOI:
10.1007/s00450-014-0257-9
Date:
August, 2015
File:
PDF, 1.65 MB
english, 2015