Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel;
机译:基于多态场景的规范模型:语义和应用
机译:基于场景的建模开发方法:秀丽隐杆线虫命运规范的原型模型。
机译:基于场景的建模开发方法:秀丽隐杆线虫命运规范的原型模型
机译:基于多态性场景的规范模型:语义和应用
机译:电子物理系统领域特定建模语言的形式语义规范。
机译:基于场景的建模开发方法:秀丽隐杆线虫命运规范的原型模型
机译:基于场景的规范的语义可配置分析