A Tool Prototype for Model-Based Testing of Cyber-Physical Systems.

Arend Aerts, Mohammad Reza Mousavi, Michel A. Reniers

Browse the full ICTAC paper archive.