Contributions for Modelling UML State-Charts in B.

Hung Ledang Jeanine Souquières

Published in: IFM (2002)

Keyphrases

neural network
artificial intelligence
software engineering
modeling language
database
machine learning
state space
object oriented
uml profile