Sciweavers

23413 search results - page 255 / 4683
» or 2005
Sort
View
156
Voted
CAV
2005
Springer
120views Hardware» more  CAV 2005»
16 years 2 days ago
Ymer: A Statistical Model Checker
Håkan L. S. Younes
CBSE
2005
Springer
16 years 2 days ago
A Contracting System for Hierarchical Components
Philippe Collet, Roger Rousseau, Thierry Coupaye, ...
CBSE
2005
Springer
16 years 2 days ago
Evaluating Performance Attributes of Layered Software Architecture
Vibhu Saujanya Sharma, Pankaj Jalote, Kishor S. Tr...