Login / Signup
Temporal and Functional Verification of a Symbolic Representation of Complex Systems.
Mireille Larnac
Janine Magnier
Eric Vandermeulen
Gérard Dray
Vincent Chapurlat
Published in:
EUROCAST (1995)
Keyphrases
</>
complex systems
symbolic representation
functional verification
dynamic systems
real valued
biological systems
multi agent systems
data sets
steady state simulation
temporal constraints
physical systems
data mining algorithms
technical systems
complex adaptive systems