Advanced search

Show items per page
Elements: 1
Page 1 on 1
 TitleAuthors / EditorsDate
add to browser selection
Formal Modeling and Verification of Opportunity-enabled Risk Management Aldini, Alessandro; Seigneur, Jean-Marc; Ballester Lafuente, Carlos; Titi, Xavier; Guislain, Jonathan 2015