類似資料

• Semi-Automatic Extraction of Formal Models from Object Oriented Code
  著者:: van Spaendonck, P. H. M.
  出版事項: (2024)
• A Language and Methodology based on Scenarios, Grammars and Views, for Administrative Business Processes Modelling
  著者:: Ndadji, Milliam Maxime Zekeng, 等
  出版事項: (2020)
• A Verification Methodology for Safety Assurance of Robotic Autonomous Systems
  著者:: Adam, Mustafa, 等
  出版事項: (2025)
• Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment
  著者:: Adam, Mustafa, 等
  出版事項: (2025)
• Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
  著者:: Hong, Chih-Duo, 等
  出版事項: (2025)