Reliability Analysis in the Early Development of Real-Time Reactive Systems.

Mao Zheng Olga Ormandjieva

Published in: CSIE (7) (2009)

Keyphrases

reliability analysis
real time
reactive systems
real time systems
temporal logic
artificial intelligence
case study
low cost
software engineering
rough sets
test cases
model checking
development process
software components