TA

A survey of timed automata for the development of real-time systems 摘要：安全 TA是一种很流行的形式来model实时系统，20年前就已经被提出来支持正式的验证，今后，TA和它的一些变体用来知足实时系统的一些发展和需求。这篇调查向读者展现大量复杂的理论领域知识。目的是向读者讲解TA的理论知识（可能应用于实时系统的发展），为了实现这

>>阅读原文<<