Author:
Bouajjani Ahmed,Echahed Rachid,Robbana Riadh
Publisher
Springer Berlin Heidelberg
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Recursive Timed Automata;Automated Technology for Verification and Analysis;2010
2. Verification of duration systems using an approximation approach;Journal of Computer Science and Technology;2003-03
3. The Theory of Hybrid Automata;Verification of Digital and Hybrid Systems;2000
4. A user guide to HyTech;Tools and Algorithms for the Construction and Analysis of Systems;1995
5. On the automatic verification of systems with continuous variables and unbounded discrete data structures;Hybrid Systems II;1995