ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems.

Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski

Browse the full ATVA paper archive.