Ulster University Logo

Browse by Ulster Authors and Editors

Up a level
Export as [feed] RSS
Group by: Date | Item Type | No Grouping
Jump to: 2010
Number of items: 1.


Magherini, Tommaso, Parente, Guido, Nugent, CD, Donnelly, Mark, Vicario, Enrico, Cruciani, Federico and Paggetti, Christiano (2010) Temporal Logic Bounded Model- Checking for Recognition of Activities of Daily Living. In: International Conference on Information Technology and Applications in Biomedicine. IEEE. 4 pp. [Conference contribution]

This list was generated on Mon Sep 16 01:40:03 2019 BST.