Sciweavers

1938 search results - page 2 / 388
» Dependable Software
Sort
View
82
Voted
SCAM
2006
IEEE
15 years 8 months ago
Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms
Árpád Beszédes, Tamás ...
85
Voted
VSTTE
2005
Springer
15 years 7 months ago
Dependent Types, Theorem Proving, and Applications for a Verifying Compiler
Yves Bertot, Laurent Théry
88
Voted
AC
2003
Springer
15 years 7 months ago
Challenges in Making Pervasive Systems Dependable
Christof Fetzer, Karin Högstedt