Sciweavers

24132 search results - page 140 / 4827
» and 2009
Sort
View
124
Voted
RTSS
2009
IEEE
16 years 1 months ago
Component-Based Abstraction Refinement for Timed Controller Synthesis
Hans-Jörg Peter, Robert Mattmüller
RTSS
2009
IEEE
16 years 1 months ago
Symbolic Robustness Analysis
Rupak Majumdar, Indranil Saha