Author:
Hazra Aritra,Dasgupta Pallab,Chakrabarti Partha Pratim
Subject
Applied Mathematics,Logic
Reference34 articles.
1. A theory of timed automata;Alur;Theor. Comput. Sci.,1994
2. Timing verification by successive approximation;Alur,1992
3. Fault tolerance by design diversity: concepts and experiments;Avizienis;IEEE Comput.,1984
4. Design-intent coverage – a new paradigm for formal property verification;Basu;IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.,2006
5. Symbolic model checking without BDDs;Biere;Lect. Notes Comput. Sci.,1999
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献