Sciweavers

1665 search results - page 32 / 333
» Monitoring Timing Constraints in Distributed Real-Time Syste...
Sort
View
CONCUR
1995
Springer
15 years 1 months ago
Compositional Model Checking of Real Time Systems
François Laroussinie, Kim Guldstrand Larsen
PDCAT
2004
Springer
15 years 3 months ago
Tuning Genetic Algorithms for Real Time Systems Using a Grid
Antonio Martí Campoy, Francisco Rodrí...