Sciweavers

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