Sciweavers

22698 search results - page 390 / 4540
» Modeling in Software Engineering
Sort
View
111
Voted
EWSA
2006
Springer
15 years 8 months ago
Configurations by UML
Øystein Haugen, Birger Møller-Peders...
132
Voted
FATES
2006
Springer
15 years 8 months ago
Robustness of Temporal Logic Specifications
Georgios E. Fainekos, George J. Pappas
122
Voted
FATES
2006
Springer
15 years 8 months ago
State-Identification Problems for Finite-State Transducers
Moez Krichen, Stavros Tripakis
118
Voted
FATES
2006
Springer
15 years 8 months ago
Online Testing with Reinforcement Learning
Margus Veanes, Pritam Roy, Colin Campbell
FOSSACS
2006
Springer
15 years 8 months ago
A Theory for Observational Fault Tolerance
Adrian Francalanza, Matthew Hennessy