Отображение 1 - 2 результаты of 2 для поиска '"Labeled transitions systems."', время запроса: 0.02сек. Отмена результатов
  1. 1

    Detecting implied scenarios in message sequence chart specifications. по Uchitel, Sebastian

    Опубликовано в: Software engineering notes.
    Статья

    Detecting implied scenarios in message sequence chart specifications.
  2. 2

    Incremental integration testing of concurrent programs. по Koppol, P.V

    Опубликовано в: IEEE Transactions on software engineering
    Статья

    Incremental integration testing of concurrent programs.

Инструменты поиска: