C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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