Login / Signup
The Analysis of UML State Machine Formal Checking Methods.
Gundars Alksnis
Published in:
ISIM (2007)
Keyphrases
</>
state machine
statistical analysis
fault tolerant
neural network
significant improvement
software systems
machine learning methods
computational cost
software engineering
empirical studies
benchmark datasets
matching algorithm