Filter your results
- 2
- 1
- 2
- 1
- 3
- 2
- 1
- 3
- 3
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Coordination Models and LanguagesSpringer International Publishing, LNCS-9686, 2016, Lecture Notes in Computer Science, 978-3-319-39518-0. ⟨10.1007/978-3-319-39519-7⟩
Books
hal-01631711v1
|
||
|
Composing Families of Timed Automata7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.51-66, ⟨10.1007/978-3-319-68972-2_4⟩
Conference papers
hal-01760866v1
|
||
|
Quality-Aware Reactive Programming for the Internet of Things7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.180-195, ⟨10.1007/978-3-319-68972-2_12⟩
Conference papers
hal-01760858v1
|