モデルベース検証支援ツールの最新版を発売

「ZIPC Tester Ver.3.1」状態遷移モデルとテスト入力波形（クリックで拡大） 出典：キャッツ