Interactive systems : design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : revised papers /

This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in Funchal, Madeira Island, Portugal, in June 2003. The 26 revised full papers and 5 revised short papers presented t...

Full description

Bibliographic Details

Corporate Authors:	DSV-IS 2003 Funchal, Madeira Islands, SpringerLink (Online service)
Other Authors:	Jorge, J. A. (Joaquim A.), Jardim Nunes, Nuno, Falcão e Cunha, João
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2003]
Series:	Lecture notes in computer science ; 2844.
Subjects:	Interactive computer systems > Congresses. Interactive computer systems. Interactieve computersystemen. Interfaces. Programmatuurtechniek. Verificatie. Vormgeving. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book