Formal Specification and Validation of a Vital Communication Protocol.

Alessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita

Browse the full FM paper archive.