Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions
Rodriguez-Navas, G., Proenza, J.Volume:
39
Language:
english
Journal:
IEEE Transactions on Software Engineering
DOI:
10.1109/TSE.2012.73
Date:
June, 2013
File:
PDF, 887 KB
english, 2013