Ulster University Logo

Ulster Institutional Repository

Browse by Ulster Authors and Editors

Biomedical Sciences Research Institute Computer Science Research Institute Environmental Sciences Research Institute Nanotechnology & Advanced Materials Research Institute
Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
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 Sun Nov 29 08:49:27 2015 GMT.