Filter your results
- 3
- 3
- 3
- 3
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Conformance-Based Doping Detection for Cyber-Physical Systems40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.59-77, ⟨10.1007/978-3-030-50086-3_4⟩
Conference papers
hal-03283236v1
|
||
|
A Framework for the Adoption of Blockchain-Based e-Procurement Systems in the Public Sector19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.3-14, ⟨10.1007/978-3-030-44999-5_1⟩
Conference papers
hal-03222868v1
|
||
|
Deep Statistical Model Checking40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.96-114, ⟨10.1007/978-3-030-50086-3_6⟩
Conference papers
hal-03283238v1
|