Filter your results
- 2
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
2 Results
|
|
sorted by
|
|
Using Colored Petri Nets for Verifying RESTful Service CompositionOTM 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
|
||
|
HIT2GAP: Towards a better building energy managementEnergy Procedia, 2017, 122, pp.895-900. ⟨10.1016/j.egypro.2017.07.399⟩
Journal articles
hal-01592631v1
|