University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 241–270 of 4,852 items
Thumbnail for Finite Element Analysis of Intersecting Cylinders
Finite Element Analysis of Intersecting Cylinders
Bakhrebah, Saleh Abdullah; Schnobrich, William C.

Thumbnail for Exploring Design Alternatives for RAMP Transactions through Statistical Model Checking
Exploring Design Alternatives for RAMP Transactions through Statistical Model Checking
Liu, Si; Olveczky, Peter C.; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José