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

Filter your results

3 results
Deposit type : Fulltext
labStructName_s : Department of Industrial Design [Eindhoven]
labStructName_s : Laboratoire Spécification et Vérification [Cachan]
Image document

2nd Workshop on Game Development and Model-Driven Software Development

Robert Walter , Maic Masuch , Mathias Funk
11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.500-503, ⟨10.1007/978-3-642-33542-6_64⟩
Conference papers hal-01556120v1
Image document

PULP Scription: A DSL for Mobile HTML5 Game Applications

Mathias Funk , Matthias Rauterberg
11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.504-510, ⟨10.1007/978-3-642-33542-6_65⟩
Conference papers hal-01556161v1
Image document

Unidirectional Channel Systems Can Be Tested

Petr Jančar , Prateek Karandikar , Philippe Schnoebelen
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.149-163, ⟨10.1007/978-3-642-33475-7_11⟩
Conference papers hal-01556219v1