Show items per page
Elements: 6
Page 1 on 1
 TitleAuthors / EditorsDate
add to browser selection
Symbolic model-checking with Set Rewriting Lopez Bobeda, Edmundo 2015
add to browser selection
SANDS1.5/COOPN1.5 An Overview of the Language and its Supporting Tools Di Marzo Serugendo, Giovanna; Biberstein, Olivier; Buchs, Didier; Buffo, Mathieu; ... Racloz, Pascal 1995
add to browser selection
Properties specification language for algebraic Petri nets Marechal Marin, Alexis Ayar; Buchs, Didier 2010
add to browser selection
High-Level Petri Net Model Checking with AlPiNA Hostettler, Steve Patrick; Marechal Marin, Alexis Ayar; Linard, Alban; Risoldi, Matteo; Buchs, Didier 2011
add to browser selection
High-level Petri net model checking : the symbolic way Hostettler, Steve Patrick 2011
add to browser selection
Design and validation of a trust-based opportunity-enabled risk management system Aldini, Alessandro; Seigneur, Jean-Marc; Ballester Lafuente, Carlos; Titi, Xavier; Guislain, Jonathan 2017