Author:
Chen Tsong Yueh,Hu Peifeng,Li Hao,Tse T.H.
Subject
Artificial Intelligence,Information Systems and Management,Computer Science Applications,Theoretical Computer Science,Control and Systems Engineering,Software
Reference36 articles.
1. W. Ahrendt, M. Dylla, A system for compositional verification of asynchronous objects, Science of Computer Programming (2010). doi:10.1016/j.scico.2010.08.003.
2. Standards and verification for fair-exchange and atomicity in e-commerce transactions;Anderson;Information Sciences,2006
3. Learning communicating automata from MSCs;Bollig;IEEE Transactions on Software Engineering,2010
4. Symbolic model checking for sequential circuit verification;Burch;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,1994
5. Y.-P. Cheng, M. Young, C.-L. Huang, C.-Y. Pan, Towards scalable compositional analysis by refactoring design models, in: Proceedings of the Joint 9th European Software Engineering Conference and 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC 2003/FSE-11), ACM, New York, NY, 2003, pp. 247–256.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献