Sign in
Formally and practically verifying flow properties in industrial systems.
Jannik Dreier
Maxime Puys
Marie-Laure Potet
Pascal Lafourcade
Jean-Louis Roch
Published in:
Comput. Secur. (2019)
Keyphrases
</>
industrial systems
industrial applications
fault diagnosis
artificial intelligence
structural properties
three dimensional
database
multiscale
fluid flow
model checking
markov random field
computational intelligence
case study
knowledge base
information systems
machine learning
real time