A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification

Gustavo Carvalho, Augusto Sampaio, Alexandre Mota

January 2013

DOI URL

Type

Conference paper

Publication

Formal Methods and Software Engineering