...
机译:使用同步方法在存在可变性的情况下进行基于场景的验证
INRIA Sophia-Antipolis, Aoste team (INRIA/I3S/CNRS/UNS), Sophia-Antipolis 06560, France;
University of Nice Sophia Antipolis, Sophia-Antipolis 06900, France;
Global General Motors R&D, India Science Lab, GM Technical Center India, Bangalore 560066, India;
Global General Motors R&D, India Science Lab, GM Technical Center India, Bangalore 560066, India;
Esterel; UML MARTE; scenario; verification; feature interaction; variability;
机译:基于场景的验证和验证:Enable-S3方法
机译:基于场景的验证和验证,ENABLE-S3方法
机译:存在代码可变性的过程程序的算法验证
机译:存在代码可变性的过程程序的算法验证
机译:用于验证同步时序电路的正式技术。
机译:一种输入到状态稳定性方法用于验证同步机器无限总线系统的几乎全局稳定性
机译:使用同步方法在存在可变性的情况下进行基于场景的验证