Ulster University Logo

Browse by Ulster Authors and Editors

Up a level
Export as [feed] RSS
Group by: Date | Item Type | No Grouping
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 Thu Jun 21 02:26:48 2018 BST.