Sciweavers

15783 search results - page 227 / 3157
» Evidence-Based Software Engineering
Sort
View
160
Voted
FATES
2006
Springer
15 years 10 months ago
Robustness of Temporal Logic Specifications
Georgios E. Fainekos, George J. Pappas
164
Voted
FATES
2006
Springer
15 years 10 months ago
State-Identification Problems for Finite-State Transducers
Moez Krichen, Stavros Tripakis
151
Voted
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