Author:
Herber Paula,Glesner Sabine
Publisher
Springer Fachmedien Wiesbaden
Reference59 articles.
1. Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science
2. 126, 183-235 (1994)
3. ARM Ltd.: AMBA3 AHB-Lite Protocol Specification (2006)
4. Behjati, R., Sabouri, H., Razavi, N., Sirjani, M.: An effective approach for model checking systemc designs. In: Application of Concurrency to System Design (ACSD). pp. 56–61 (2008)
5. Behrmann, G., David, A., Larsen, K.G.: A Tutorial on UPPAAL. In: Formal Methods for the Design of Real-Time Systems. pp. 200-236. LNCS 3185, Springer (2004)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献