The following pages link to Maria Sorea (Q2842587):
Displayed 9 items.
- Predicate Abstraction for Dense Real-Time Systems1 1This research was supported by the National Science Foundation under grants CCR-00-82560 and CCR-00-86096 and by NASA Langley Research Center under contract B09060051 and Cooperative Agreement NCC-1-399 (Q2842588) (← links)
- (Q2842869) (← links)
- (Q4484492) (← links)
- (Q4809077) (← links)
- Computer Aided Verification (Q5312938) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464747) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464759) (← links)
- Frontiers of Combining Systems (Q5491894) (← links)
- Computer Aided Verification (Q5900667) (← links)