位置：成果数据库 > 会议 > 会议详情页
Runtime Verification for LTL Schemas
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 会议名称：The 4th International Workshop on Harnessing Theories for Tool Support in Software
  • 成果类型：会议
  • 相关项目：面向运行时监控的软件设计与验证理论研究
作者： Martin Lucker|Changzhi Zhao|Bing Zheng|Wei Dong|
同会议论文项目
面向运行时监控的软件设计与验证理论研究
期刊论文 9 会议论文 7
同项目会议论文
Invalid pointer dereferences detection for CPS software based on extended pointer structures
An Extension to Sequence Diagram for Expressing Runtime Monitoring Concerns
An Event Pattern Language for Runtime Monitoring Based on AOP
Runtime Verication with Predictive Semantics
Active Monitoring for Control Systems Under Anticipatory Semantics
Security Goals Assurance Based on Software Active Monitoring