A New Perspective on Formal Testing Method for Real-Time Software

Jin-Cherng Lin, Ian Ho. A New Perspective on Formal Testing Method for Real-Time Software. In 26th EUROMICRO 2000 Conference, Informatics: Inventing the Future, 5-7 September 2000, Maastricht, The Netherlands. pages 2270-2276, IEEE Computer Society, 2000. [doi]

Abstract

Abstract is missing.