Sciweavers

81
Voted
PTS
2007
112views Hardware» more  PTS 2007»
15 years 11 days ago
Symbolic Model Based Testing for Component Oriented Systems
In a component oriented approach, components are designed, developed and validated in order to be widely used. However one cannot always foresee which specific uses will be made o...
Alain Faivre, Christophe Gaston, Pascale Le Gall