Search Sciweavers | Sciweavers

15777 search results - page 188 / 3156

» The Reformulation-Optimization Software Engine

click to vote

FATES
2006
Springer

121views Software Engineering» more FATES 2006»

Multi-paradigmatic Model-Based Testing

13 years 12 months ago

Download research.microsoft.com

Wolfgang Grieskamp

claim paper

Read More »

click to vote

FATES
2006
Springer

123views Software Engineering» more FATES 2006»

State-Identification Problems for Finite-State Transducers

13 years 12 months ago

Download www-verimag.imag.fr

Moez Krichen, Stavros Tripakis

claim paper

Read More »

click to vote

FATES
2006
Springer

122views Software Engineering» more FATES 2006»

Online Testing with Reinforcement Learning

13 years 12 months ago

Download users.soe.ucsc.edu

Margus Veanes, Pritam Roy, Colin Campbell

claim paper

Read More »

click to vote

FOSSACS
2006
Springer

81views Software Engineering» more FOSSACS 2006»

A Theory for Observational Fault Tolerance

13 years 12 months ago

Download www.cs.um.edu.mt

Adrian Francalanza, Matthew Hennessy

claim paper

Read More »

click to vote

FOSSACS
2006
Springer

112views Software Engineering» more FOSSACS 2006»

Bidomains and Full Abstraction for Countable Nondeterminism

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers