University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 2731–2760 of 5,453 items
Thumbnail for Solar Energy Harvesting and Software Enhancements for Autonomous Wireless Smart Sensor Networks
Solar Energy Harvesting and Software Enhancements for Autonomous Wireless Smart Sensor Networks
Miller, Timothy I.; Spencer, Billie F., Jr.; Li, Jian; Jo, Hongki

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