Login / Signup
Validating Timed Models of Deployment Components with Parametric Concurrency.
Einar Broch Johnsen
Olaf Owe
Rudolf Schlatte
Silvia Lizeth Tapia Tarifa
Published in:
FoVeOOS (2010)
Keyphrases
</>
complex systems
information systems
computational models
parametric models
real time
artificial intelligence
probabilistic model
building blocks
petri net
statistical model
experimental data
statistical models
neural network model
dynamic systems
mathematical models