yr 〜
yr

Search results 4

形式検証ツールの並列化

形式検証ツールの並列化
Digital博士論文障害者向け資料あり
DO, Minh Canh2022-09
National Diet Library
  • Subject Heading...tocol analysis state space explosion parallelization

分割統治による誘導性と条件付安定性のモデル検査

分割統治による誘導性と条件付安定性のモデル検査
Digital博士論文障害者向け資料あり
Yati, Phyo2022-09
National Diet Library
  • Subject Heading...ble properties state space explosion divide & conquer

形式検証ツールの並列化

形式検証ツールの並列化
Digital博士論文
DO, Minh Canh2022-09
Available onlineOther Libraries in Japan
  • Subject Heading...tocol analysis state space explosion parallelization

分割統治による誘導性と条件付安定性のモデル検査

分割統治による誘導性と条件付安定性のモデル検査
Digital博士論文
Yati, Phyo2022-09
Available onlineOther Libraries in Japan
  • Subject Heading...ble properties state space explosion divide & conquer

Reached to the end of result.