A Framework for Specification and Validation of Real-Time Systems Using

Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio

Browse the full ICTAC paper archive.