Automata-based refinement checking for real-time systems
Article in SICS Software-Intensive Cyber-Physical Systems (June 2014)
The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.
Article in SICS Software-Intensive Cyber-Physical Systems (June 2014)
Conference proceeding (June 2012)
Conference proceeding (September 2010)