Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach.

Charles Andr, Marie-Agns Peraldi, Jean-Paul Rigault

Browse the full ISORC paper archive.