Proceedings of 12th International Workshop on Design, Specification and Verification of Interactive Systems
- Website
- Year
- 2005
- Period
- July 13-15
- Place
- Newcastle upon Tyne, UK
- ISBN
- DOI
- Volume
- Copyright info
Articles
Cuppens, Erwin, Raymaekers, Chris, Coninx, Karin (2005): A Model-Based Design Process for Interactive Virtual Environments. In: Proceedings of 12th International Workshop on Design, Specification and Verification of Interactive Systems July 13-15, 2005, Newcastle upon Tyne, UK. pp. 239-250.
Boeck, Joan De, Raymaekers, Chris, Coninx, Karin (2005): A Method for the Verification of Haptic Algorithms. In: Proceedings of 12th International Workshop on Design, Specification and Verification of Interactive Systems July 13-15, 2005, Newcastle upon Tyne, UK. pp. 85-96.