Temporal verification of RT-DEVS models with implementation aspects.

Franco Cicirelli Angelo Furfaro Libero Nigro Francesco Pupo

Published in: SpringSim (2010)

Keyphrases

complex systems
statistical models
spatio temporal
probabilistic model
temporal aspects
computational models
spatial and temporal
experimental data
statistical model
process model
petri net
parameter estimation
temporal constraints
parametric models
temporal relations
signature verification
data sets