Sciweavers

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