University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 91–120 of 1,283 items
Thumbnail for A GIS-based analysis for transportation accessibility, disaster preparedness, and rural libraries’ roles in community resilience
A GIS-based analysis for transportation accessibility, disaster preparedness, and rural libraries’ roles in community resilience
Tenney, Curtis; Leonarczyk, Zoe; Ghorbanzadeh, Mahyar; Jones, Faye; Mardis, Marcia; Ozguven, Eren; Alsalmi, Hany

Thumbnail for Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs
Liu, Si; Sandur, Atul; Meseguer, Jose; Ölveczky, Peter; Wang, Qi

Thumbnail for Formal Modeling and Analysis of  RAMP Transaction Systems in Maude
Formal Modeling and Analysis of RAMP Transaction Systems in Maude
Liu, Si; Olveczky, Peter C.; Rahman, Muntasir Raihan; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José