2687 search results - page 17 / 538 » Formal Analysis of PKCS |
100
click to vote
DLOG
2008
15 years 2 months ago
2008
Formal Concept Analysis (FCA) is an approach to knowledge engineering, representation, and analysis. A `standard' FCA-workflow starts with some `experimental' data, class...
108
Voted
JIPS
2010
14 years 7 months ago
2010
Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios whi...
78
Voted
IFM
2007
Springer
15 years 6 months ago
2007
Springer
80
Voted
CAV
2004
Springer
15 years 5 months ago
2004
Springer
59
Voted
IFM
2009
Springer
15 years 5 months ago
2009
Springer
