Suchergebnisse - Taubert, Udo

  • Treffer 1 – 2 von 2
Treffer filtern
  1. 1
    Buchumschlag

    Entwicklung eines Analysewerkzeuges für SDL'92 Spezifikationen unter Nutzung erweiterter Petri-Netze
    von Taubert, Udo

    Veröffentlicht 1993
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Analysis and formal verification of SDL'92 specifications using extended Petri nets
    von Fischer, Joachim, Dimitrov, Evgenij, Taubert, Udo

    Veröffentlicht 1995
    Buch


    Gespeichert in:

Suchwerkzeuge: