Interactive Systems. Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers (Lecture Notes in Computer Science, 1946)
by Philippe Palanque, Fabio Paterno
Revised papers from the 7th International Workshop DSV-IS 2000 in Limerick, Ireland, June 5-6, 2000. Edited by Philippe Palanque and Fabio Paterno, this volume in Lecture Notes in Computer Science (1946) explores design, specification, and verification of interactive systems.
About This Book
The book presents revised papers from the 7th International Workshop on Design, Specification, and Verification of Interactive Systems, known as DSV-IS 2000.
The workshop took place in Limerick, Ireland, from June 5 to 6, 2000, focusing on key aspects of interactive systems.
Edited by Philippe Palanque and Fabio Paterno, it is part of the Lecture Notes in Computer Science series, volume 1946.
These proceedings contribute to the academic discourse on designing and verifying interactive technologies.
Reviews
No reviews yet. Be the first to review this book!