woguoguo
这家伙很懒，什么也没写
Ta上传的资源 (0)
Design and Validation of Computer Protocol
Design and Validation of Computer Protocol
Software Model Checking
Tutorial:Abstract.Wesurveyprinciplesofmodelcheckingtechniquesfortheautomaticanalysisofreactivesystems.Theuseofmodelcheckingisexemplifiedbyananalysisof
Designandvalidationofcomputerprotocols
Designandvalidationofcomputerprotocols