University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 2491–2520 of 4,267 items
Thumbnail for Experimental Measurement and Modeling of Oil Holdup
Experimental Measurement and Modeling of Oil Holdup
Crompton, J.A.; Newell, T.A.; Chato, J.C.

Thumbnail for Synchronous AADL and its Formal Analysis in Real-Time Maude
Synchronous AADL and its Formal Analysis in Real-Time Maude
Bae, Kyungmin; Olveczky, Peter C.; Al-Nayeem, Abdullah; Meseguer, José