Search results for: Agathe Merceron
Sport Sciences for Health > 2018 > 14 > 2 > 275-282
Computers & Education > 2017 > 113 > C > 177-194
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Formal Methods II - Languages and Verification > 185-195
IFIP — The International Federation for Information Processing > Technology Enhanced Learning > E-Learning Evaluation and Usability > 31-42
Lecture Notes in Computer Science > Transactions on Petri Nets and Other Models of Concurrency IV > 1-20
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > Verification and Conformance Testing > 311-330
Electronic Notes in Theoretical Computer Science > 2002 > 62 > Complete > 244-256