Search Sciweavers | Sciweavers

85 search results - page 2 / 17

» Special Editorial Board

click to vote

TVLSI
2008

151views more TVLSI 2008»

Guest Editorial Special Section on Design Verification and Validation

14 years 11 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 »

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 5 months ago

Download www.clat.unibo.it

Giovanni Sartor, Alessandra Villecco

claim paper

Read More »

click to vote

SAC
2004
ACM

78views Applied Computing» more SAC 2004»

Editorial message: special track on web technologies and applications

15 years 5 months ago

Download www.dlsi.ua.es

Sara Comai, Marlon Dumas, Maristella Matera

claim paper

Read More »

click to vote

ESE
2008

89views Database» more ESE 2008»

Editorial, special issue, repeatable experiments in software engineering

14 years 12 months ago

Download menzies.us

Tim Menzies

claim paper

Read More »

click to vote

ETS
2006
IEEE

88views Hardware» more ETS 2006»

Interoperability of Educational Systems - Editorial of Special Issue

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers