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