Sign in
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