An Architecture-Based Comparison of Verification and Statistical Reliability Assessment Methods for Embedded Software Systems.
Farokh B. Bastani, Sung Kim, I-Ling Yen, Ing-Ray Chen
VenueCISORC
Year2002
ProceedingsSymposium on Object-Oriented Real-Time Distributed Computing
DBLP recordconf/isorc/BastaniKYC02 ↗
Browse the full ISORC paper archive.