862 search results - page 2 / 173 » Model Checking Interrupt-Dependent Software |
130
Voted
CBSE
2008
Springer
15 years 6 months ago
2008
Springer
135
Voted
RE
2002
Springer
15 years 4 months ago
2002
Springer
112
Voted
FOSSACS
2010
Springer
15 years 3 months ago
2010
Springer
123
Voted
FMOODS
2008
15 years 6 months ago
2008
Abstract. Software product line engineering combines the individual developments of systems to the development of a family of systems consisting of common and variable assets. In t...