862 search results - page 2 / 173 » Model Checking Interrupt-Dependent Software |
AMAST
1995
Springer
15 years 1 months ago
1995
Springer
CBSE
2008
Springer
14 years 12 months ago
2008
Springer
RE
2002
Springer
14 years 9 months ago
2002
Springer
FOSSACS
2010
Springer
14 years 8 months ago
2010
Springer
FMOODS
2008
14 years 11 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...