A Simplified Approach for Testing Real-Time Systems Based on Action Refinement.

Saddek Bensalem, Moez Krichen, Lotfi Majdoub, Riadh Robbana, Stavros Tripakis

Browse the full ISoLA paper archive.