13 citations · 13 across the 1 of their papers we have counts for
1 paper
Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy
UML state machines are widely used to specify dynamic systems behaviours. However its semantics is described informally, thus preventing the application of model checking technique…