Kazunori Someya, Toshiaki Aoki. A Metamodel for Enumerating Off-Nominal Scenarios in Operational Scenario Review through Bounded Model Checking. In Federico Ciccozzi, Luís Ferreira Pires, Francis Bordeleau, editors, Proceedings of the 14th International Conference on Model-Based Software and Systems Engineering, MODELSWARD 2026, Marbella, Spain, March 7-9, 2026. pages 45-60, SCITEPRESS, 2026. [doi]
Abstract is missing.