Verifying Untimed and Timed Aspects of the Experimental Batch Plant.

Ralf Huuck Ben Lukoschus Yassine Lakhnech

Published in: Eur. J. Control (2001)

Keyphrases

petri net
real world
real time
machine learning
decision making
image processing
bayesian networks
computer science
artificial neural networks
model checking