Verification of Safety Critical Systems using Program Analysis and Model Checking
收藏DataCite Commons2020-09-18 更新2024-07-03 收录
下载链接：
http://vbn.aau.dk/en/publications/verification-of-safety-critical-systems-using-program-analysis-and-model-checking(bd85e0f1-65c2-44bc-a303-8ca2d07b3047).html
下载链接
链接失效反馈官方服务：
资源简介：
The PhD Series of the Faculty of Engineering and Science, Aalborg University
提供机构：
Aalborg University Press
创建时间：
2017-01-13
