Sciweavers

441 search results - page 6 / 89
» Refinement of Time
Sort
View
ASMTA
2010
Springer
135views Mathematics» more  ASMTA 2010»
15 years 1 months ago
Service Time Estimation with a Refinement Enhanced Hybrid Clustering Algorithm
Paolo Cremonesi, Kanika Dhyani, Andrea Sansottera
FORMATS
2007
Springer
15 years 1 months ago
Automatic Abstraction Refinement for Timed Automata
Henning Dierks, Sebastian Kupferschmid, Kim Guldst...
FORMATS
2006
Springer
15 years 1 months ago
Refinements and Abstractions of Signal-Event (Timed) Languages
Béatrice Bérard, Paul Gastin, Antoin...