A Metamodel for Enumerating Off-Nominal Scenarios in Operational Scenario Review through Bounded Model Checking.

Kazunori Someya, Toshiaki Aoki

Browse the full MODELSWARD paper archive.