81
Voted
ICSE
2005
IEEE-ACM
16 years 16 days ago
2005
IEEE-ACM
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...