Department of Computing, Imperial College London, UK;
Department of Computing, Imperial College London, UK;
Department of Computing, Imperial College London, UK;
Department of Computing, Imperial College London, UK,Departamento de Computacion, FCEyN, UBA;
机译:从基于场景的规范中比较和改进基于状态的规范的综合
机译:响应系统规格的有界强可满足性检查
机译:度量时间逻辑规范的有界可满足性检查
机译:利用学习和基于场景的规范语言来验证和验证高度自动化的驾驶
机译:使用特定于领域的软件体系结构(ASSA)原理的基于场景的工程过程(SEP)的图形化事件导向场景行为规范
机译:基于场景的建模开发方法:秀丽隐杆线虫命运规范的原型模型
机译:系统上下文系统中基于迭代和情景的要求规范
机译:基于场景的航空航天结构健康监测架构规范与评估