Sign in
Transformation of B specifications into UML class diagrams and state machines.
Houda Fekih
Leila Jemni Ben Ayed
Stephan Merz
Published in:
SAC (2006)
Keyphrases
</>
state machines
uml class diagrams
class diagrams
sequence diagrams
state machine
class diagram
petri net
description logics
uml diagrams
reactive systems
intermediate representation
recurrent networks
test set