Accéder directement au contenu

Richard Chbeir

2
Documents
Identifiants chercheurs

Présentation

Publications

927873
Image document

Using Colored Petri Nets for Verifying RESTful Service Composition

Lara Kallab , Michael Mrissa , Richard Chbeir , Pierre Bourreau
OTM Confederated International Conferences "On the Move to Meaningful Internet Systems", Oct 2017, Rhodes, Greece. pp.505-523, ⟨10.1007/978-3-319-69462-7_32⟩
Communication dans un congrès hal-01592920v1