Sciweavers

15777 search results - page 113 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
122
Voted
ASWSD
2004
Springer
15 years 10 months ago
A Compositional Framework for Real-Time Guarantees
Insik Shin, Insup Lee
122
Voted
FASE
2004
Springer
15 years 10 months ago
Optimising Communication Structure for Model Checking
Peter Saffrey, Muffy Calder