Search - IFIP Open Digital Library Access content directly

Filter your results

2 results
Structure: Internal structure identifier : 53051
Page :
sorted by
Image document

A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management

 Iman Poernomo , Timur Umarov
4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.136-149, ⟨10.1007/978-3-642-28038-2_11⟩
Conference papers hal-01527384v1
Image document

Dynamics in Delegation and Revocation Schemes: A Logical Approach

 Guillaume Aucher , Steve Barker , Guido Boella , Valerio Genovese , Leendert van Der Torre
23th Data and Applications Security (DBSec), Jul 2011, Richmond, United States. pp.90-105, ⟨10.1007/978-3-642-22348-8_9⟩
Conference papers inria-00593654v2
Page :