Specification-Level Integration of Simulation and Dependability Analysis.

Swapna S. Gokhale, Joseph R. Horgan, Kishor S. Trivedi

Browse the full ICSE paper archive.