Search results for: Stéphane Conversy
Journal of Medical Systems > 2019 > 43 > 7 > 1-9
Lecture Notes in Computer Science > Interactive Systems. Design, Specification, and Verification > 287-293
Lecture Notes in Computer Science > Interactive Systems. Design, Specification, and Verification > 136-148
Lecture Notes in Computer Science > Interactive Systems. Design, Specification, and Verification > Critical Systems > 25-38
Lecture Notes in Computer Science > Interactive Systems. Design, Specification, and Verification > 267-280