Filter your results
- 4
- 4
- 4
- 4
- 4
- 4
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
4 results
|
|
sorted by
|
|
Industrial IoT security monitoring and test on Fed4Fire+ platformsICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.270-278, ⟨10.1007/978-3-030-31280-0_17⟩
Conference papers
hal-02526342v1
|
||
|
A model checking based approach for detecting SDN racesICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.194-211, ⟨10.1007/978-3-030-31280-0_12⟩
Conference papers
hal-02448964v1
|
||
|
Evaluating the complexity of deriving adaptive homing, synchronizing and distinguishing sequences for nondeterministic FSMsICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.86-103, ⟨10.1007/978-3-030-31280-0_6⟩
Conference papers
hal-02448916v1
|
||
|
Attack tolerance for services-based applications in the cloudICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.242-258, ⟨10.1007/978-3-030-31280-0_15⟩
Conference papers
hal-02526356v1
|