Robustness in real-time systems

Nicolas Markey
2011 2011 6th IEEE International Symposium on Industrial and Embedded Systems  
We review several aspects of robustness of real-time systems, and present recent results on the robust verification of timed automata.
doi:10.1109/sies.2011.5953652 dblp:conf/sies/Markey11 fatcat:iizd4xuczndupnhswaabv2ixbi