Special issue on Automated Verification of Critical Systems (AVoCS'11).

Cliff B. Jones Alexander B. Romanovsky

Published in: Sci. Comput. Program. (2014)

Keyphrases

special issue
automated verification
international journal
model checking
ai edam
ecml pkdd
automated reasoning
special section
formal verification
intelligent systems
complex systems
knowledge representation
expert systems
natural language
e learning
artificial intelligence
applied intelligence
machine learning