Sciweavers

15811 search results - page 125 / 3163
» Search-based software engineering
Sort
View
87
Voted
ASWSD
2004
Springer
15 years 6 months ago
A Compositional Framework for Real-Time Guarantees
Insik Shin, Insup Lee
97
Voted
FASE
2004
Springer
15 years 6 months ago
Optimising Communication Structure for Model Checking
Peter Saffrey, Muffy Calder