1 × USA
1 × United Kingdom
D.Miller J.L.Noir D.Exertier M.A.A.d.Silva X.Blanc
represent (1) inconsist (1) approach (1) neutral (1) experi (1) detect (1) refut (1) proof (1) model (1) oper (1)
Person: Olivier Delande
Wrote 2 papers:
- ECMFA-2011-NoirDESB #case study #consistency #detection #experience #nondeterminism #representation
- Operation Based Model Representation: Experiences on Inconsistency Detection (JLN, OD, DE, MAAdS, XB), pp. 85–96.
- LICS-2008-DelandeM #approach #proving
- A Neutral Approach to Proof and Refutation in MALL (OD, DM), pp. 498–508.