MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "The Role of Formal Proof in Modelling Interactive Behaviour." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 1 documents found, showing 1 through 1.
ATOM RSS
  • The role of formal proof in modelling interactive behaviour  
  • by Principal Investigator, Prof Ann, Jason Good, Middlesex Unversity, Industrial Collaborator, Sue Milner, Praxis Critical, Contact Prof, Ann Bl, Richard Butterworth, Richard Butterworth, Ann Blandford, Ann Blandford, David Duke, David Duke — 1998 — In P. Markopulos & P. Johnson (Eds.) Proc. Design, Specification and Verifications of Interactive Systems '98
  • …PUMA PROGRAMMABLE USER MODELLING APPLICATIONS The role of formal proof in modelling interactive
  • Cited by 4 (2 self)Add To MetaCart
Help! Showing 1 through 1.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB