...
机译:在非同步到达下实时事件流的运行时验证
Univ Lubeck Inst Software Engn & Programming Languages Lubeck Germany;
IMDEA Software Inst Madrid Spain;
Univ Lubeck Inst Software Engn & Programming Languages Lubeck Germany;
Univ Lubeck Inst Software Engn & Programming Languages Lubeck Germany;
IMDEA Software Inst Madrid Spain;
Stream runtime verification; Monitoring; Real-time event streams; Formal methods; Parallel event processing;
机译:使用striver语言流验证实时事件流的实时事件流
机译:一种基于事件的方法,用于正式验证运行时自适应实时系统
机译:实时事件流运行时监视方法的评估和改进
机译:奋斗者:实时事件流的流运行时验证
机译:将运行时验证后部署嵌入到安全关键系统的实时健康管理中
机译:嵌入式实时系统的运行时验证
机译:striver:用于实时事件流的流运行时验证