University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 3211–3240 of 6,315 items
Thumbnail for Reducing the costs of bounded-exhaustive testing
Reducing the costs of bounded-exhaustive testing
Bangalore Jagannath, Vilas Shekhar

Thumbnail for PALS/PRISM Software Design Description (SDD): Ver. 0.51
PALS/PRISM Software Design Description (SDD): Ver. 0.51
Kim, Cheolgi; Al-Nayeem, Abdullah; Yun, Heechul; Wu, Po-Liang; Sha, Lui