Login / Signup
Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis.
Gwang Sik Yoon
Sung Deok Cha
Yong Rae Kwon
Chan Hyung Yoo
Published in:
APSEC (1997)
Keyphrases
</>
software systems
software components
software development
software engineering
software design
case study
data analysis
object oriented
statistical analysis
data acquisition
website
web services
multiscale
video sequences
operating system
automatic detection