Masci, P and Curzon, P and Blandford, AE and Furniss, D (2011) Modelling distributed cognition systems in PVS. In: (Proceedings) Fourth International Workshop on Formal Method for Interactive Systems (FMIS).
Full text not available from this repository.
| Type: | Proceedings paper |
|---|---|
| Title: | Modelling distributed cognition systems in PVS |
| Event: | Fourth International Workshop on Formal Method for Interactive Systems (FMIS) |
| UCL classification: | UCL > School of Life and Medical Sciences > Faculty of Brain Sciences > Psychology and Language Sciences (Division of) > UCL Interaction Centre UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
Archive Staff Only: edit this record