Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models.

Mauro Pezzè Michal Young

Published in: ICSE (1997)

Keyphrases

state space
complex systems
heuristic search
analytical methods
search space
probabilistic model
mathematical models
software engineering
particle filter
statistical analysis
statistical methods
modelling language
deduction rules