TU Wien Vienna Austria;
Univ. Grenoble Alpes CNRS Inria Grenoble INP LIG 38000 Grenoble France;
University of Manchester Manchester UK;
机译:首届国际运行时验证竞赛:CRV 2014的规则,基准,工具和最终结果
机译:第19届运行时验证国际会议特别问题简介
机译:RML:运行时监控语言:用于运行时验证的系统 - 不可止液DSL
机译:运行时间验证国际竞争(CRV)
机译:将运行时验证后部署嵌入到安全关键系统的实时健康管理中
机译:基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
机译:运行时间验证国际竞争(CRV)