Filter your results
- 3
- 3
- 3
- 1
- 1
- 1
- 3
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
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
|
||
|
|
Coordination of Tasks on a Real-Time OS21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.250-266, ⟨10.1007/978-3-030-22397-7_15⟩
Conference papers
hal-02365513v1
|
||
|
|
ARx: Reactive Programming for Synchronous Connectors22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.39-56, ⟨10.1007/978-3-030-50029-0_3⟩
Conference papers
hal-03274003v1
|