Verification of Real-Time Systems using Linear Relation Analysis (1997)

View PDF

Download Links

by Nicolas Halbwachs , Yann-Erick Proy , Patrick Roumanoff
Venue:FORMAL METHODS IN SYSTEM DESIGN
Citations:131 - 11 self