Filter your results
- 2
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
3 results
|
|
sorted by
|
|
Formal Techniques for Distributed SystemsSpringer, LNCS-7273, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-30793-5⟩
Books
hal-01528737v1
|
||
|
Towards Smart Systems of Systems6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.1-29, ⟨10.1007/978-3-319-24644-4_1⟩
Conference papers
hal-01446606v1
|
||
|
Malicious Behaviour Identification in Online Social Networks18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.18-25, ⟨10.1007/978-3-319-93767-0_2⟩
Conference papers
hal-01824637v1
|