Resource Modeling for Timed Creol Models.

Rudolf Schlatte Bernhard K. Aichernig Andreas Griesmayer Marcel Kyas

Published in: Electron. Notes Theor. Comput. Sci. (2010)

Keyphrases

modeling framework
computational models
data mining
hybrid models
stochastic models
modeling method
finite state machines
petri net
probabilistic model
neural network
resource management
statistical models
resource constraints
model construction
complex systems
formal models
model validation