Author:
Hasan Osman,Patel Jigar,Tahar Sofiène
Subject
Applied Mathematics,Logic
Reference25 articles.
1. Model checking algorithms for continuous time Markov chains;Baier;IEEE Transactions on Software Engineering,2003
2. Systems and Software Verification: Model-Checking Techniques and Tools;Berard,2001
3. NANOPRISM: A tool for evaluating granularity versus reliability trade-offs in nano architectures;Bhaduri,2004
4. Scalable techniques and tools for reliability analysis of large circuits;Bhaduri;IEEE Trans. Circuits and Systems,2007
5. A formulation of the simple theory of types;Church;Journal of Symbolic Logic,1940
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献