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

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

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

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB