University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 4711–4740 of 11,726 items
Thumbnail for TAPRAV: A Tool for Exploring Physiological Data Aligned to Task Models
TAPRAV: A Tool for Exploring Physiological Data Aligned to Task Models
Adamczyk, Piotr D.; Busbey, Christopher W.; Bailey, Brian P.

Thumbnail for Checking Reachability using Matching Logic
Checking Reachability using Matching Logic
Rosu, Grigore; Stefanescu, Andrei