1926 search results - page 44 / 386 » Modeling and Model Checking Software Product Lines |
122
Voted
FASE
2004
Springer
15 years 10 months ago
2004
Springer
91
Voted
APSEC
2002
IEEE
15 years 10 months ago
2002
IEEE
114
Voted
FSTTCS
1998
Springer
15 years 9 months ago
1998
Springer
135
Voted
RE
2002
Springer
15 years 4 months ago
2002
Springer
139
click to vote
TAICPART
2006
IEEE
15 years 11 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...