Book Details

978-3-540-69554-7

Interactive Systems Design, Specification, and Verification

Publication year: 2007

ISBN: 978-3-540-69554-7

Internet Resource: Please Login to download book


This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Systems, DSVIS 2006, held in Dublin, Ireland in July 2006.


Subject: Computer Science, 3D, Augmented Reality, Computer, Multimedia, adaptive interfaces, association rules, formal method, formal methods, human computer interaction, human-computer interaction (HCI), mobile computing, mobile devices, model-based design, modeling, verification