Formally Verifying Flow Properties in Industrial Systems.

Jannik Dreier Maxime Puys Marie-Laure Potet Pascal Lafourcade Jean-Louis Roch

Published in: SECRYPT (2017)

Keyphrases

industrial systems
industrial applications
complex systems
intelligent systems
computational intelligence
fault diagnosis
desirable properties
databases
genetic algorithm
artificial intelligence
information systems
image processing
similarity measure
significant improvement
probability distribution