INRIA Sophia Antipolis, France;
Royal Institute of Technology. Stockholm, Sweden;
Royal Institute of Technology. Stockholm, Sweden;
机译:有程序的顺序程序的组成验证
机译:Rebeca模型的模型检查,自动抽象和组成验证
机译:实现Smodel程序的稳定模型语义的组合性
机译:用于验证GNU C程序的组合环境建模
机译:重构设计模型以进行成分验证,一致性测试和归纳验证。
机译:Premna odorata:叶片精油成分的季节性代谢变化及其通过体外分析和分子模型验证其抗衰老潜力
机译:对程序的输入/输出行为进行声音,模块和成分验证