Sciweavers

698 search results - page 6 / 140

» dagstuhl 2007

49

Voted

DAGSTUHL
2004

83views Software Engineering» more DAGSTUHL 2004»

04101 Abstracts Collection - Language Engineering for Model-Driven Software Development

14 years 11 months ago

04101 Abstracts Collection - Language Engineering for Model-Driven Software Development

Download drops.dagstuhl.de

Jean Bézivin, Reiko Heckel

claim paper

Read More »

43

DAGSTUHL
2004

77views Software Engineering» more DAGSTUHL 2004»

I/O-automata Based Testing

14 years 11 months ago

I/O-automata Based Testing

Download wwwhome.cs.utwente.nl

Machiel van der Bijl, Fabien Peureux

claim paper

Read More »

57

DAGSTUHL
2004

66views Software Engineering» more DAGSTUHL 2004»

Test Derivation from Timed Automata

14 years 11 months ago

Test Derivation from Timed Automata

Download doc.utwente.nl

Laura Brandán Briones, Mathias Röhl

claim paper

Read More »

34

DAGSTUHL
2004

80views Software Engineering» more DAGSTUHL 2004»

Preorder Relations

14 years 11 months ago

Preorder Relations

Download www.math.ucla.edu

Stefan D. Bruda

claim paper

Read More »

57

DAGSTUHL
2004

93views Software Engineering» more DAGSTUHL 2004»

04421 Abstracts Collection - Algebraic Methods in Computational Complexity

14 years 11 months ago

04421 Abstracts Collection - Algebraic Methods in Computational Complexity

Download drops.dagstuhl.de

Harry Buhrman, Lance Fortnow, Thomas Thierauf

claim paper

Read More »

« Prev « First page 6 / 140 Last » Next »