Department of Computing, University of Surrey, Guilford, Surrey GU2 7XH, UK;
机译:基于场景的具有量化约束的汽车需求规范和SL / SF监视器的综合
机译:不同收获场景下的MSY政策在不精确环境中的两个物种猎物模型研究
机译:在不精确的场景估计的情况下的多面相干风险度量
机译:来自不精确要求的场景合成
机译:规范和分析不精确需求的正式方法。
机译:使用Event-B对不精确的系统要求进行形式化分析
机译:场景合成来自不精确的要求