Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

3 results

Formal Techniques for Distributed Systems

Holger Giese , Grigore Rosu
Springer, LNCS-7273, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-30793-5⟩
Books hal-01528737v1
Image document

Towards Smart Systems of Systems

Holger Giese , Thomas Vogel , Sebastian Wätzoldt
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.1-29, ⟨10.1007/978-3-319-24644-4_1⟩
Conference papers hal-01446606v1
Image document

Malicious Behaviour Identification in Online Social Networks

Raad Bin Tareaf , Philipp Berger , Patrick Hennig , Christoph Meinel
18th 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