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.
|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