Laboratoire Specification et Verification, CNRS ENS de Cachan, France;
Laboratory for Foundations of Computer Science, University of Edinburgh, UK;
Institute of Informatics, Warsaw University and Institute of Computer Science Polish Academy of Sciences, Warsaw, Poland;
机译:伪连续动脉旋转标签中对照扫描的研究(P Casl Casl):提高P Casl Casl敏感性和可靠性的策略
机译:卡塞尔规格的观察性解释
机译:CSP-CASL-过程代数和代数规范的新集成
机译:Casl体系结构规范中的Lambda表达式
机译:使用认知主体规范语言(CASL)指定和验证多主体系统。
机译:水稻形态发生与植物结构:3D建筑模型的测量规范和结构发展的重建
机译:CASL中的建筑规范语义
机译:CasL L1里程碑报告:CasL.p4.01,具有VIpRE-W和BOa的CIps的灵敏度和不确定性分析。