Formal Modeling and Verification of Opportunity-enabled Risk Management.

Alessandro Aldini, Jean-Marc Seigneur, Carlos Ballester Lafuente, Xavier Titi, Jonathan Guislain

Browse the full TrustCom paper archive.