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

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Department of Computer Science [Aalborg]
labStructName_s : Laboratoire de l'Informatique du Parallélisme
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

CyclAir: A Bike Mounted Prototype for Real-Time Visualization of CO$_2$2 Levels While Cycling

Eike Schneiders , Mikael B. Skov
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.678-687, ⟨10.1007/978-3-030-29384-0_40⟩
Conference papers hal-02544596v1