Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 8
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
2 results
|
|
|
sorted by
|
|
|
Verification of concurrent design patterns with dataCOORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Conference papers
hal-02143782v1
|
||
|
|
Painless Support for Static and Runtime Verification of Component-Based Applications6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.259-274, ⟨10.1007/978-3-319-24644-4_18⟩
Conference papers
hal-01168757v2
|