JavaShuo
欄目
標籤
TA
時間 2020-07-14
原文
原文鏈接
A survey of timed automata for the development of real-time systems 摘要:安全 TA是一種很流行的形式來model實時系統,20年前就已經被提出來支持正式的驗證,今後,TA和它的一些變體用來知足實時系統的一些發展和需求。這篇調查向讀者展現大量複雜的理論領域知識。目的是向讀者講解TA的理論知識(可能應用於實時系統的發展),爲了實現這
>>阅读原文<<
0
分享到微博
分享到微信
分享到QQ
每日一句
每一个你不满意的现在,都有一个你没有努力的曾经。
最新文章
1.
Window下Ribbit MQ安裝
2.
Linux下Redis安裝及集羣搭建
3.
shiny搭建網站填坑戰略
4.
Mysql8.0.22安裝與配置詳細教程
5.
Hadoop安裝及配置
6.
Python爬蟲初學筆記
7.
部署LVS-Keepalived高可用集羣
8.
keepalived+mysql高可用集羣
9.
jenkins 公鑰配置
10.
HA實用詳解
本站公眾號
歡迎關注本站公眾號,獲取更多信息