Sciweavers

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