Error message

  • Notice: Undefined variable: _SESSION in dial_widget_pr_publication_action() (line 140 of /var/www/html/drupal-7.54/sites/all/modules/dial/dial_widget/dial_widget_pr/dial_widget_pr.module).
  • Warning: array_key_exists() expects parameter 2 to be array, null given in dial_widget_pr_publication_action() (line 140 of /var/www/html/drupal-7.54/sites/all/modules/dial/dial_widget/dial_widget_pr/dial_widget_pr.module).

Turning High-Level Live Sequence Charts into Automata

Bibliographic reference Bontemps, Yves ; Heymans, Patrick ; Systa, Tarja ; Zundorf, Albert. Turning High-Level Live Sequence Charts into Automata.In: Proceedings of the First International Workshop on Scenarios and State Machines (SCESM), (ICSE'02 workshop), (2002)
Permanent URL