dblp.uni-trier.de www.uni-trier.de

10. DSV-IS 2003: Funchal, Madeira Island, Portugal

Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (Eds.): Interactive Systems. Design, Specification, and Verification, 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers. Lecture Notes in Computer Science 2844 Springer 2003, ISBN 3-540-20159-9 BibTeX

Invited Paper

Test and Evaluation

Web & Groupware

Tools and Technologies

Task Modeling

Model-Based Design

Mobile and Multiple Devices


Specification Languages

Short Papers

Copyright © Sat May 16 23:07:36 2009 by Michael Ley (ley@uni-trier.de)