Design, specification, and verification of interactive systems
暂无分享,去创建一个
[1] Michael D. Harrison,et al. Design, Specification and Verification of Interactive Systems ’97 , 1997, Eurographics.
[2] Marisa E. Campbell,et al. Conference preview: HCI 2000: usability or else! , 2000, INTR.
[3] Panos Markopoulos,et al. Design, Specification and Verification of Interactive Systems ’98 , 1998, Eurographics.
[4] Fabio Paterno,et al. Interactive Systems: Design, Specification, and Verification , 1995, Focus on Computer Graphics.
[5] David Duke,et al. Design, Specification and Verification of Interactive Systems ’99 , 1999, Eurographics.
[6] P. Palanque,et al. Design, Specification and Verification of Interactive Systems ’95 , 2000, Eurographics.
[7] Jean Vanderdonckt,et al. Design, Specification and Verification of Interactive Systems ’96 , 1996, Eurographics.
[8] Philippe A. Palanque,et al. Formal Methods in Human-Computer Interaction , 1997, Formal Approaches to Computing and Information Technology (FACIT).
[9] Philippe A. Palanque,et al. Design, specification, and verification of interactive systems , 2001, SOEN.