Login / Signup
Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence.
Akio Nakata
Teruo Higashino
Kenichi Taniguchi
Published in:
FORTE (1996)
Keyphrases
</>
high level
theoretical framework
prior knowledge
computational model
mathematical model
experimental data
discrete event
genetic algorithm
probability distribution
conceptual model
neural network model