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...
Zur Ergebnisliste
Ergebnis 9 von 25
    Datensatz exportieren als...
  • BibTeX
Eine Pr/T-Netz-basierte, durchgängige Entwurfsmethodik für eingebettete Realzeitsysteme
C-LAB publication : 9 (Alle Bände)
2001
Signatur: TWT7054, P1524

Details

Autor(en) / Beteiligte
Titel
Eine Pr/T-Netz-basierte, durchgängige Entwurfsmethodik für eingebettete Realzeitsysteme
Ist Teil von
Ort / Verlag
Aachen : Shaker
Erscheinungsjahr
2001
Link zu anderen Inhalten
Beschreibungen/Notizen
  • Paderborn, Univ., Diss., 2000
Sprache
Deutsch
Identifikatoren
ISBN: 3826583035
OCLC-Nummer: 76191431, 76191431
Titel-ID: 990008387530106463
Format
IV, 282 S. : graph. Darst.
Systemstelle
TWT
Schlagworte
Eingebettetes System, Echtzeitsystem, Systementwurf, Prädikat-Transitions-Netz, Formale Spezifikationstechnik, Verifikation

Lade weitere Informationen...