Filter your results
- 5
- 5
- 5
- 5
- 8
- 3
- 2
- 4
- 2
- 3
- 2
- 4
- 4
- 2
- 5
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
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
|
||
|
|
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
|
||
|
|
Using Virtual Research Environments in Agro-Environmental Research13th International Symposium on Environmental Software Systems (ISESS), Feb 2020, Wageningen, Netherlands. pp.115-121, ⟨10.1007/978-3-030-39815-6_11⟩
Conference papers
hal-03361885v1
|
||
|
|
AGINFRA PLUS: Running Crop Simulations on the D4Science Distributed e-Infrastructure13th International Symposium on Environmental Software Systems (ISESS), Feb 2020, Wageningen, Netherlands. pp.81-89, ⟨10.1007/978-3-030-39815-6_8⟩
Conference papers
hal-03361878v1
|
||
|
|
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
|