Subject
Computer Science Applications,Information Systems,Software
Reference10 articles.
1. An analysis and survey of the development of mutation testing;Jia;IEEE Trans. Software Eng.,2011
2. A. Banks, R. Gupta, MQTT Version 3.1.1 Plus Errata 01, 2015.
3. A static analysis of cryptographic processes: the denotational approach;Aziz;J. Logic Algebraic Program.,2005
4. A formal model and analysis of an IoT protocol;Aziz;Ad Hoc Netw.,2016
5. Formally testing fail-safety of electronic purse protocols;Jürjens,2001
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献