A methodology for resilient safety-critical infrastructures using statistical model checking.

Rajesh Kumar, Nitish Yadav

Browse the full APSEC paper archive.