Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking.

Mitsuaki Tsuji, Toshinori Takai, Kazuki Kakimoto, Naoki Ishihama, Masafumi Katahira, Hajimu Iida

Browse the full ICST paper archive.