Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics 论文

2010引用 238
DOI
Formal Methods in VerificationReal-Time Systems SchedulingDistributed systems and fault tolerance
Distributed systems and fault toleranceFormal Methods in VerificationReal-Time Systems Scheduling
相关技术:Formal Methods in Verification
关系图谱

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics · 相关事件

暂无数据