A Theory of Testing for Soft Real-Time Processes.

Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka

Browse the full SEKE paper archive.