Search Sciweavers | Sciweavers

77 search results - page 4 / 16

» dagstuhl 2004

147

click to vote

DAGSTUHL
2004

96views Software Engineering» more DAGSTUHL 2004»

Exceptions in Component Interaction Protocols - Necessity

15 years 7 months ago

Download d3s.mff.cuni.cz

Frantisek Plasil, Viliam Holub

claim paper

Read More »

111

click to vote

DAGSTUHL
2004

66views Software Engineering» more DAGSTUHL 2004»

Test Derivation from Timed Automata

15 years 7 months ago

Download doc.utwente.nl

Laura Brandán Briones, Mathias Röhl

claim paper

Read More »

115

click to vote

DAGSTUHL
2004

89views Software Engineering» more DAGSTUHL 2004»

Tools for Test Case Generation

15 years 7 months ago

Download www.cs.ru.nl

Axel Belinfante, Lars Frantzen, Christian Schallha...

claim paper

Read More »

click to vote

DAGSTUHL
2004

77views Software Engineering» more DAGSTUHL 2004»

I/O-automata Based Testing

15 years 7 months ago

Download wwwhome.cs.utwente.nl

Machiel van der Bijl, Fabien Peureux

claim paper

Read More »

120

click to vote

DAGSTUHL
2004

93views Software Engineering» more DAGSTUHL 2004»

04421 Abstracts Collection - Algebraic Methods in Computational Complexity

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers