Login / Signup
Debugging Logic-Based Requirements Specifications for Safety-Critical Systems - a FRORL Approach.
Jeffrey J. P. Tsai
Alan Liu
Krishnakumar R. Nair
Published in:
Int. J. Softw. Eng. Knowl. Eng. (1994)
Keyphrases
</>
safety critical
embedded systems
formal methods
fault tolerant
safety analysis
regulatory requirements
adaptive systems
finite state machines
knowledge representation
expert systems
support systems
cooperative
computational intelligence
agent architecture
multi agent systems
machine learning
real time