Robert F. Krieger

Number 17

D. R. Kuhn, D. Craigen, Robert F. Krieger, 2017 .

System Reliability using Simulation Models and Formal Methods

D. R. Kuhn, D. Craigen, Robert F. Krieger, 2016 .

Number 17

D. R. Kuhn, D. Craigen, Robert F. Krieger, 2018 .