Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model-Checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits;2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC);2018-05
2. Comparative modelling and verification of Pthreads and Dthreads;Journal of Software: Evolution and Process;2017-11-17
3. Comparative Modeling and Verification of Pthreads and Dthreads;2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE);2016-01
4. Modeling and Verifying the Ballooning in Xen with CSP;2015 IEEE 16th International Symposium on High Assurance Systems Engineering;2015-01
5. A formal framework for interfacing mixed-timing systems;Integration;2013-06