TA

A survey of timed automata for the development of real-time systems 摘要：安全 TA是一種很流行的形式來model實時系統，20年前就已經被提出來支持正式的驗證，今後，TA和它的一些變體用來知足實時系統的一些發展和需求。這篇調查向讀者展現大量複雜的理論領域知識。目的是向讀者講解TA的理論知識（可能應用於實時系統的發展），爲了實現這

>>阅读原文<<