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

Filter your results

3 results
Deposit type : Fulltext
labStructName_s : Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
Image document

Verification of concurrent design patterns with data

Simon Bliudze , Ludovic Henrio , Eric Madelaine
COORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Conference papers hal-02143782v1
Image document

Human-Computer Interaction – INTERACT 2019: 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part IV

David Lamas , Fernando Loizides , Helen Petrie , Marco Winckler , Panayiotis Zaphiris , et al.
Springer International Publishing, LNCS-11749, 2019, Lecture Notes in Computer Science
Books hal-02896565v1
Image document

Ensuring the Consistency Between User Requirements and GUI Prototypes: A Behavior-Based Automated Approach

Thiago Rocha Silva , Marco Winckler , Hallvard Trætteberg
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.644-665, ⟨10.1007/978-3-030-29381-9_39⟩
Conference papers hal-02544532v1