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

Filter your results

4 results
Deposit type : Fulltext
labStructName_s : Laboratoire de Recherche en Informatique
labStructName_s : Centrum voor Wiskunde en Informatica
Image document

Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models

Sung-Shik Jongmans , Christian Krause , Farhad Arbab
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.31-48, ⟨10.1007/978-3-642-21464-6_3⟩
Conference papers hal-01582996v1
Image document

Conformance Relations for Distributed Testing Based on CSP

Ana Cavalcanti , Marie-Claude Gaudel , Robert M. Hierons
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.48-63, ⟨10.1007/978-3-642-24580-0_5⟩
Conference papers hal-01583923v1
Image document

Counting for Random Testing

Marie-Claude Gaudel
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.1-8, ⟨10.1007/978-3-642-24580-0_1⟩
Conference papers hal-01583925v1
Image document

Redundancy and Collaboration in Wikibooks

Ilaria Liccardi , Olivier Chapuis , Ching-Man Au Yeung , Wendy Mackay
Proceedings of the 13th International Conference on Human-Computer Interaction, Sep 2011, Lisbon, Portugal. pp.215-232, ⟨10.1007/978-3-642-23774-4_20⟩
Conference papers inria-00595516v2