Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
    Datensatz exportieren als...
  • BibTeX
Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen
Berichte aus der Informatik
Als Ms. gedr, 1995
Signatur: TWP6472

Details

Autor(en) / Beteiligte
Titel
Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen
Ist Teil von
  • Berichte aus der Informatik
Auflage
Als Ms. gedr
Ort / Verlag
Aachen : Shaker
Erscheinungsjahr
1995
Link zu anderen Inhalten
Beschreibungen/Notizen
  • Ilmenau, Techn. Univ., Diss., 1994
Sprache
–
Identifikatoren
ISBN: 382651033X
OCLC-Nummer: 75651258, 75651258
Titel-ID: 990006893460106463
Format
Getr. Zählung : Ill., graph. Darst.
Systemstelle
TWP
Schlagworte
Kommunikationsprotokoll, Stochastisches Petri-Netz, Gefärbtes Petri-Netz

Lade weitere Informationen...