Sciweavers

698 search results - page 6 / 140

» dagstuhl 2007

54

Voted

DAGSTUHL
2004

83views Software Engineering» more DAGSTUHL 2004»

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

15 years 1 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 »

51

DAGSTUHL
2004

77views Software Engineering» more DAGSTUHL 2004»

I/O-automata Based Testing

15 years 1 months ago

I/O-automata Based Testing

Download wwwhome.cs.utwente.nl

Machiel van der Bijl, Fabien Peureux

claim paper

Read More »

64

Voted

DAGSTUHL
2004

66views Software Engineering» more DAGSTUHL 2004»

Test Derivation from Timed Automata

15 years 1 months ago

Test Derivation from Timed Automata

Download doc.utwente.nl

Laura Brandán Briones, Mathias Röhl

claim paper

Read More »

42

DAGSTUHL
2004

80views Software Engineering» more DAGSTUHL 2004»

Preorder Relations

15 years 1 months ago

Preorder Relations

Download www.math.ucla.edu

Stefan D. Bruda

claim paper

Read More »

69

Voted

DAGSTUHL
2004

93views Software Engineering» more DAGSTUHL 2004»

04421 Abstracts Collection - Algebraic Methods in Computational Complexity

15 years 1 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 »