University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1111–1140 of 18,251 items
Thumbnail for Intellectual Access to Images
Intellectual Access to Images
Chen, Hsin-Liang; Rasmussen, Edie M.

Thumbnail for Making Formal Verification Trustworthy via Proof Generation
Making Formal Verification Trustworthy via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for Formal semantics of hybrid automata
Formal semantics of hybrid automata
Saxena, Manasvi; Chen, Xiaohong; Rodrigues, Nishant; Rosu, Grigore