Toon 1 - 2 resultaten van 2 Voor zoekopdracht '"Labeled transitions systems."', zoektijd: 0,02s Verfijn jouw resultaten
  1. 1

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

    Gepubliceerd in Software engineering notes.
    Artikel

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

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

    Artikel

    Incremental integration testing of concurrent programs.

Zoekinstrumenten: