[B-6] ネットワークシステム

12:00 〜 12:15

[B-6-06] 商用での想定外動作によるバグを未然に検知・改修する方法

〇井上 寛規¹、藤原 貴之¹、中務 諭士¹ (1. 日本電信電話株式会社)

キーワード：

モデル検査、検証、未然