Augmenting formal development of control systems with quantitative reliability assessment.

Anton Tarasyuk Elena Troubitsyna Linas Laibinis

Published in: SERENE (2010)

Keyphrases

reliability assessment
control system
case study
qualitative and quantitative
decision making
software engineering
information retrieval
database
information processing
decision support
control law
st century
rapid development
development process
knowledge based systems
metadata
real world
real time