...
机译:使用CSP在HTTP上进行REST的形式化和验证
RESTHTTPCSPStatelessHypertext-driven;
机译:使用CSP对TESAC进行形式化和验证
机译:使用CSP的OpenFlow捆绑机制的形式化和验证
机译:珠穆朗玛峰:迈向验证的,替换HTTPS
机译:珠穆朗玛峰:经过验证的高性能HTTPS堆栈
机译:缩放自动验证:建立高完整性软件的案例研究和形式化IDE
机译:沙漠中的森林专家食肉兽?https://onlinelibrary.wiley.com/doi/full/10.1002/ece3.5230
机译:使用CSP在HTTP上进行REST的形式化和验证
机译:Csp过程网络的组合验证:使用FDR2验证接口差异事件中的细化。