61 citations · 322 across the 42 of their papers we have counts for
1 paper · 2 filters
É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…