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 5 von 18
    Datensatz exportieren als...
  • BibTeX
Modeling, verification, and exploration of task-level concurrency of real-time embedded systems
2000
Signatur: TWT5824

Details

Autor(en) / Beteiligte
Titel
Modeling, verification, and exploration of task-level concurrency of real-time embedded systems
Ort / Verlag
Boston, Mass. [u.a.] : Kluwer Acad. Publ.
Erscheinungsjahr
2000
Beschreibungen/Notizen
  • Includes bibliographical references and index
Sprache
Englisch
Identifikatoren
ISBN: 0792377370
OCLC-Nummer: 1106835606, 1106835606
Titel-ID: 990008387430106463
Format
XV, 438 S. : graph. Darst.
Systemstelle
TWT
Schlagworte
Echtzeitsystem, Eingebettetes System, Embedded computer systems, Real-time data processing

Lade weitere Informationen...