Login / Signup
An Optimal Weighted-Average Voting Algorithm for Software Safety Estimation on Safety-Critical Systems.
B. Umamaheswrarao
Seetha Ramaiah Panchumarthy
PhaniKumar Singamsetty
Published in:
ACM SIGSOFT Softw. Eng. Notes (2015)
Keyphrases
</>
safety critical
weighted average
embedded systems
formal methods
nuclear power plant
safety analysis
objective function
management system
expert systems
agent architecture
learning algorithm
software development
knowledge acquisition