Sign in

Stepwise refinement of sequence diagrams with soft real-time constraints.

Atle RefsdalRagnhild Kobro RundeKetil Stølen
Published in: J. Comput. Syst. Sci. (2015)
Keyphrases
  • sequence diagrams
  • image classification
  • petri net
  • data sets
  • life cycle