Specification and compositional verification of real-time s

Descrição: The research described in this monograph concerns the formal specification and compositional verification of real-t... Veja mais