Sciweavers

15885 search results - page 205 / 3177
» Strategic Software Engineering
Sort
View
FATES
2006
Springer
15 years 10 months ago
Robustness of Temporal Logic Specifications
Georgios E. Fainekos, George J. Pappas
FATES
2006
Springer
15 years 10 months ago
Online Testing with Reinforcement Learning
Margus Veanes, Pritam Roy, Colin Campbell
FOSSACS
2006
Springer
15 years 10 months ago
A Theory for Observational Fault Tolerance
Adrian Francalanza, Matthew Hennessy