Erakusten 1 - 2 emaitzak -- 2 bilaketa honetara '"Labeled transitions systems."', Bilaketaren denbora: 0,02s Findu emaitzak
  1. 1

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

    Incremental integration testing of concurrent programs. nork Koppol, P.V

    Artikulua

    Incremental integration testing of concurrent programs.

Bilaketa egiteko lanabesak: