University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 1,611 items
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é

Thumbnail for Predicting the Consequences of Hydrogen Releases: How a Machine Learning Approach May Improve Risk-Based Inspection Planning
Predicting the Consequences of Hydrogen Releases: How a Machine Learning Approach May Improve Risk-Based Inspection Planning
Giannini, Leonardo; Salzano, Ernesto; Paltrinieri, Nicola; Tamascelli, Nicola • 2024

Thumbnail for Legal Responsibility for Public Library Development: United States, Canada, Scandinavia, Nigeria, and South Africa
Legal Responsibility for Public Library Development: United States, Canada, Scandinavia, Nigeria, and South Africa
Toepel, M.G.; Davison, R.L.; Cook, Flora E.; Okorie, Kalu; Wertheimer, Ruth Jacobs

Thumbnail for Consortia in Europe: Describing the Various Solutions through Four Country Examples
Consortia in Europe: Describing the Various Solutions through Four Country Examples
Hormia-Poutanen, Kristiina; Xenidou-Dervou, Claudine; Kupryte, Rima; Stange, Kari; Kuznetsov, Alexander; Woodward, Hazel