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

Description

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.