[譯]時間自動機：語義，算法和工具 UPPAAL

本文原題是《Timed Automata Semantics, Algorithms and Tools》，本人碩士畢業設計與此相關，研究了好久，現在自行翻譯出來。轉載請註明版權。 時間自動機：語義，算法和工具 Johan Bengtsson和Wang Yi   Uppsala大學 Email：{johanb,yi}@it.uu.se （譯者：祝威http://bitzhuwei.cnblogs.

>>阅读原文<<