Login / Signup

An Integrated Approach to Specification and Validation of Real-Time Systems.

Adnan SherifAugusto SampaioSérgio Cavalcante
Published in: FME (2001)
Keyphrases