Hits:
Indexed by:期刊论文
Date of Publication:2018-01-01
Journal:New Trends in E-Service and Smart Computing
Volume:742
Page Number:35-46
Pre One:A Survey of Formal Techniques for Hardware/Software Co-Verification
Next One:A Survey of Formal Techniques for Hardware/Software Co-Verification