Sciweavers

9006 search results - page 15 / 1802
» Modeling Software
Sort
View
137
Voted
AMOST
2005
ACM
15 years 11 months ago
Distributed performance testing using statistical modeling
Alan F. Karr, Adam A. Porter
112
Voted
AMAST
2004
Springer
15 years 11 months ago
Model-Checking Systems with Unbounded Variables without Abstraction
Magali Contensin, Laurence Pierre