Interactive Systems : Design, Specification, and Verification : 7th Internati...

Cyber Physical Systems. Design, Modeling, and Evaluation: 7th International

Jorge - Interactive Systems. Design Specification and Verification - X555z

Interactive Systems: Design, Specification, and Verification: 8th International

Interactive Systems. Design, Specification, and Verification: 15th International

Interactive Systems. Design, Specification, and Verification: 13th International

Interactive Systems: Design, Specification, and Verification: 9th International