Filter your results
- 2
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
A comparative analysis of adaptive consistency approaches in cloud storageJournal of Parallel and Distributed Computing, 2019, 129, pp.36-49. ⟨10.1016/j.jpdc.2019.03.006⟩
Journal articles
hal-02501749v1
|
||
Transformation of High Level Specification Towards nesC CodeSecond International Conference on Real Time Intelligent Systems, Book: Advances in Intelligent Systems and Computing, Oct 2017, Casablanca, Morocco
Conference papers
hal-02954533v1
|
|||
Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verificationEAI VALUETOOLS 2020 - 13th EAI International Conference on Performance Evaluation Methodologies and Tools, May 2020, Tsukuba, Japan
Conference papers
hal-02545744v1
|