Submodule Construction for Extended State Machine Models.

Bassel Daou Gregor von Bochmann

Published in: FORTE (2005)

Keyphrases

state machine
finite state machines
probabilistic model
experimental data
case study
model selection
parameter estimation
fault tolerant
accurate models