Nondeterministic Testing with Linear Model-Checker Counterexamples

Suchergebnisse

• Abgeschlossen

  Testmethodik, Testmanagement und Zertifizierung (SN-P2)

  Fraser, G., Wotawa, F. & Peischl, B. J.

  1/05/06 → 31/12/10

  Projekt: Forschungsprojekt