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.
深度學習硬件架構簡述
2.
重溫矩陣(V) 主成份分析
3.
國慶佳節第四天,談談我月收入增加 4K 的故事
4.
一起學nRF51xx 23 - s130藍牙API介紹
5.
2018最爲緊缺的十大崗位,技術崗佔80%
6.
第一次hibernate
7.
SSM項目後期添加數據權限設計
8.
人機交互期末複習
9.
現在無法開始異步操作。異步操作只能在異步處理程序或模塊中開始,或在頁生存期中的特定事件過程中開始...
10.
微信小程序開發常用元素總結1-1
本站公眾號
歡迎關注本站公眾號,獲取更多信息