Filter your results
- 3
- 3
- 3
- 3
- 8
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 4
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.3-21, ⟨10.1007/978-3-030-50086-3_1⟩
Conference papers
hal-03283240v1
|
||
|
Team Automata@Work: On Safe Communication22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.77-85, ⟨10.1007/978-3-030-50029-0_5⟩
Conference papers
hal-03273992v1
|
||
|
Refined Mean Field Analysis: The Gossip Shuffle Protocol RevisitedCOORDINATION 2020 - 22nd IFIP WG 6.1 International Conference on Coordination Languages and Models, Jun 2020, Valletta, Malta. pp.230-239, ⟨10.1007/978-3-030-50029-0_15⟩
Conference papers
hal-03273995v1
|