Architectural Verification of Control Systems Using CSP.

Joabe Jesus, Alexandre Mota, Augusto Sampaio, Luiz Grijo

Browse the full ICFEM paper archive.