University of Illinois Urbana-Champaign

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