Verification of Real-Time Systems using Linear Relation Analysis 论文

1997Formal Methods in System Design引用 260
DOI
Formal Methods in VerificationLogic, programming, and type systemsReal-Time Systems Scheduling
Logic, programming, and type systemsFormal Methods in VerificationReal-Time Systems Scheduling
相关技术:Formal Methods in Verification
关系图谱

Verification of Real-Time Systems using Linear Relation Analysis · 作者

P

Patrick Roumanoff

Y

Yann-Erick Proy

N

Nicolas Halbwachs