Login / Signup
Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE.
Bernard Berthomieu
Hubert Garavel
Frédéric Lang
François Vernadat
Published in:
ERCIM News (2008)
Keyphrases
</>
management system
database
computer systems
decision making
intelligent systems
dynamic environments
learning systems
genetic algorithm
social networks
expert systems
mobile robot
retrieval systems