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 12 von 13
    Datensatz exportieren als...
  • BibTeX
Formal specification and synthesis of procedural controllers for process systems
Lecture notes in control and information sciences : 212 (Alle Bände)
1996
Signatur: TVR1232

Details

Autor(en) / Beteiligte
Titel
Formal specification and synthesis of procedural controllers for process systems
Ist Teil von
Ort / Verlag
London [u.a.] : Springer
Erscheinungsjahr
1996
Sprache
Englisch
Identifikatoren
ISBN: 3540760210
OCLC-Nummer: 845137157, 845137157
Titel-ID: 990006986260106463
Format
XXIV, 221 S. : graph. Darst.
Systemstelle
TVR
Schlagworte
Prozessüberwachung, Diskretes Ereignissystem, Kontrolltheorie, Softwarespezifikation

Lade weitere Informationen...