91av视频/亚洲h视频/操亚洲美女/外国一级黄色毛片 - 国产三级三级三级三级

  • 大小: 5.76MB
    文件類型: .zip
    金幣: 2
    下載: 0 次
    發布日期: 2023-11-01
  • 語言: 其他
  • 標簽: uppaal??

資源簡介

該資源是根據建模教程實現的一個簡單的互斥進程的模型實例，已在模型檢測工具uppaal上實現并進行了模型的性質驗證。uppaal是一個集成工具環境，它以擴展的時間自動機為建模語言，被用于對經過轉換的時間自動機網絡模型的實時系統進行建模、檢驗和驗證。

資源截圖

代碼片段和文件信息

?屬性????????????大小?????日期????時間???名稱
-----------?---------??----------?-----??----
?????文件?????5871108??2017-11-29?16:46??互斥進程的uppaal模型實例\uppaal-4.0.14-aca.zip
?????文件???????68138??2018-05-04?09:53??互斥進程的uppaal模型實例\互斥進程性質的驗證.png
?????文件???????73862??2018-05-04?09:52??互斥進程的uppaal模型實例\互斥進程模型的仿真.png
?????文件????????1313??2018-05-04?09:43??互斥進程的uppaal模型實例\互斥進程的模型.zip
?????文件???????42886??2018-05-04?09:58??互斥進程的uppaal模型實例\互斥進程過程描述.png
?????目錄???????????0??2018-05-04?09:59??互斥進程的uppaal模型實例\

評論

共有 條評論