Suchergebnisse - Hinkel, Ursula

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

    The SDL specification of the sliding window protocol revisited
    von Facchi, Christian, Haubner, Markus, Hinkel, Ursula

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Formale, semantische Fundierung und eine darauf abgestützte Verifikationsmethode für SDL
    von Hinkel, Ursula

    Veröffentlicht 1998
    Inhaltsverzeichnis
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Anleitung zur Spezifikation von mobilen, dynamischen Focus-Netzen
    von Hinkel, Ursula, Spies, Katharina

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Home shopping: die Spezifikation einer Kommunikationsanwendung in FOCUS
    von Hinkel, Ursula

    Veröffentlicht 1998
    Buch


    Gespeichert in:

Suchwerkzeuge: