点击下载:并发程序精化验证及其应用(PPT讲稿)Refinement Verification of Concurrent Programs and Its Applications
正在加载图片...
Modular verification of tcs T1 S1 T2 S2 (Compositionality) T1 T2 9 S1 $2(Compositionality) T1 || T2 S1 || S2 T1 S1 T2 S2 Modular Verification of T S
<<向上翻页
向下翻页>>
点击下载:并发程序精化验证及其应用(PPT讲稿)Refinement Verification of Concurrent Programs and Its Applications
©2008-现在 cucdc.com 高等教育资讯网 版权所有