Timed History Preserving Bisimulation and Open Maps.

Nataliya S. Gribovskaya

Published in: Ershov Memorial Conference (2014)

Keyphrases

petri net
database
machine learning
artificial intelligence
open systems
timed automata
neural network
website
decision trees