Sciweavers

3901 search results - page 29 / 781
» software 2008
Sort
View
87
Voted
ICST
2008
IEEE
15 years 9 months ago
Structural Testing of Executables
Sébastien Bardin, Philippe Herrmann
112
Voted
SEFM
2008
IEEE
15 years 9 months ago
Contract-Based Verification of Hierarchical Systems of Components
Sophie Quinton, Susanne Graf