Sciweavers

PTS
2010
140views Hardware» more  PTS 2010»
13 years 10 months ago
More Testable Properties
In this paper, we explore the set of testable properties within the Safety-Progress classification where testability means to establish by testing that a relation, between the tes...
Yliès Falcone, Jean-Claude Fernandez, Thier...