Search - IFIP Open Digital Library Access content directly

Filter your results

1 Array
hal_authIdPerson_i : 1152671
Image document

How Adaptive and Reliable is Your Program?

Valentina Castiglioni , Michele Loreti , Simone Tini
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.60-79, ⟨10.1007/978-3-030-78089-0_4⟩
Conference papers hal-03740265v1