Search - Archive ouverte HAL Access content directly

Filter your results

2 Results
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⟩
Conference papers hal-01592920v1
Image document

HIT2GAP: Towards a better building energy management

Lara Kallab , Richard Chbeir , Pierre Bourreau , Pascale Brassier , Michael Mrissa
Energy Procedia, 2017, 122, pp.895-900. ⟨10.1016/j.egypro.2017.07.399⟩
Journal articles hal-01592631v1