Login / Signup
Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions.
Igor B. Bourdonov
Alexander S. Kossatchev
Victor V. Kuliamin
Published in:
Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
</>
real time
formal methods
expert systems
complex systems
management system
knowledge based systems
logic programs
intelligent behavior
software testing
plan recognition
computer systems
intelligent systems
distributed systems
artificial neural networks
information retrieval
machine learning
databases
data sets