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

Gerald Lüttgen Stephan Merz

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

Keyphrases

special issue
automated verification
ai edam
ecml pkdd
model checking
automated reasoning
international journal
expert systems
special section
applied intelligence
formal verification
social networks
distributed systems
complex systems