Proceedings of 12th International Workshop on Design, Specification and Verification of Interactive Systems
Conference Details
Year: 2005
Period: July 13-15
Location: Newcastle upon Tyne, UK
Articles
Publications included in this conference proceedings
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.