Filter your results
- 3
- 3
- 3
- 1
- 1
- 1
- 3
- 1
- 3
- 3
- 1
- 1
|
|
|
sorted by
|
|
|
Uniform Protection for Multi-exposed Targets34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.182-198, ⟨10.1007/978-3-662-43613-4_12⟩
Conference papers
hal-01398016v1
|
||
|
|
Probabilistic Analysis of the Quality Calculus15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.258-272, ⟨10.1007/978-3-642-38592-6_18⟩
Conference papers
hal-01515243v1
|
||
|
|
Enforcing Availability in Failure-Aware Communicating Systems36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.195-211, ⟨10.1007/978-3-319-39570-8_13⟩
Conference papers
hal-01432918v1
|