A Compositional Approach on Modal Specifications for Timed Systems.

Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet

Browse the full ICFEM paper archive.