Search Results for 'executable protocol'

executable protocol published presentations and documents on DocSlides.

Automated Synthesis of Protocols from Flows

by conchita-marotz

Murali Talupur. FormalSim. . Sept 30 2015. Joint...