Interactive Systems. Design, Specification, and Verification

This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2008, held in Kingston, Canada, in July 2008. The 21 revised full papers and 10 late breaking and experience report papers presented were car...

Full description

Saved in:
Bibliographic Details
Other Authors: Graham, T. C. Nicholas
Format: Book
Language:English
Published: Springer 2017
Subjects:
004
Online Access:http://repository.vnu.edu.vn/handle/VNU_123/24645
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Vietnam National University, Hanoi
Language: English

Similar Items