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.
FM理論與實踐
2.
Google開發者大會,你想知道的都在這裏
3.
IRIG-B碼對時理解
4.
乾貨:嵌入式系統設計開發大全!(萬字總結)
5.
從域名到網站—虛機篇
6.
php學習5
7.
關於ANR線程阻塞那些坑
8.
android studio databinding和include使用控件id獲取報錯 不影響項目正常運行
9.
我女朋友都會的安卓逆向(四 動態調試smali)
10.
io存取速度
本站公眾號
歡迎關注本站公眾號,獲取更多信息