Search Sciweavers | Sciweavers

85 search results - page 2 / 17

» Special Editorial Board

148

click to vote

TVLSI
2008

151views more TVLSI 2008»

Guest Editorial Special Section on Design Verification and Validation

15 years 5 months ago

Download www.princeton.edu

ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...

I. Harris, D. Pradhan

claim paper

Read More »

129

click to vote

SAC
2006
ACM

95views Applied Computing» more SAC 2006»

Editorial message: special track on computer-aided law and advanced technologies

15 years 12 months ago

Download www.clat.unibo.it

Giovanni Sartor, Alessandra Villecco

claim paper

Read More »

135

click to vote

SAC
2004
ACM

78views Applied Computing» more SAC 2004»

Editorial message: special track on web technologies and applications

15 years 11 months ago

Download www.dlsi.ua.es

Sara Comai, Marlon Dumas, Maristella Matera

claim paper

Read More »

150

click to vote

ESE
2008

89views Database» more ESE 2008»

Editorial, special issue, repeatable experiments in software engineering

15 years 6 months ago

Download menzies.us

Tim Menzies

claim paper

Read More »

128

click to vote

ETS
2006
IEEE

88views Hardware» more ETS 2006»

Interoperability of Educational Systems - Editorial of Special Issue

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers