Functional Safety Assessment of Safety-Related Systems with Non-perfect Proof-Tests.
Hitoshi MutaYoshinobu SatoPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2014)
Keyphrases
- intelligent vehicles
- safety critical
- safety analysis
- autonomous mobile
- complex systems
- nuclear power plant
- management system
- software engineering
- intelligent systems
- computer systems
- learning systems
- coal mining
- theorem proving
- theorem prover
- database
- expert systems
- decision making
- information systems
- databases
- real time