A Practical and Complete Algorithm for Testing Real-Time Systems

Rachel Cardell-Oliver, Tim Glover. A Practical and Complete Algorithm for Testing Real-Time Systems. In Anders P. Ravn, Hans Rischel, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT 98, Lyngby, Denmark, September 14-18, 1998, Proceedings. Volume 1486 of Lecture Notes in Computer Science, pages 251-261, Springer, 1998. [doi]

Authors

Rachel Cardell-Oliver

This author has not been identified. Look up 'Rachel Cardell-Oliver' in Google

Tim Glover

This author has not been identified. Look up 'Tim Glover' in Google