A Parametric Model Checking Approach for Real-Time Systems Design.

Chaiwat Sathawornwichit, Takuya Katayama

Browse the full APSEC paper archive.