Search results for: Alexandre Scaico
Lecture Notes in Computer Science > Interactive Systems: Design, Specification, and Verification > Supervision and Control Systems > 69-87
Lecture Notes in Computer Science > Interactive Systems. Design, Specification, and Verification > 86-91