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

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Bremer Institut für Produktion und Logistik GmbH
labStructName_s : Dipartimento di Automatica e Informatica [Torino]
Image document

Game Mechanics Supporting Pervasive Learning and Experience in Games, Serious Games, and Interactive & Social Media

J. Hauge , T. Lim , S. Louchart , I. A. Stanescu , M. Ma , et al.
14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.560-565, ⟨10.1007/978-3-319-24589-8_57⟩
Conference papers hal-01758461v1
Image document

Formal Verification of Virtual Network Function Graphs in an SP-DevOps Context

Serena Spinoso , Matteo Virgilio , Wolfgang John , Antonio Manzalini , Guido Marchetto , et al.
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.253-262, ⟨10.1007/978-3-319-24072-5_18⟩
Conference papers hal-01757560v1