Author:
Behrend Jorg,Gruenhage Alexander,Schroeder Douglas,Lettnin Djones,Ruf Jurgen,Kropf Thomas,Rosenstiel Wolfgang
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards a Hybrid Verification Approach;Software Technologies: Applications and Foundations;2018
2. A Mechanism for Monitoring Driver-Device Communication;Embedded Software Verification and Debugging;2017