Formal Techniques in Real-Time and Fault-Tolerant Systems Hans Langmaack
Titel: Formal Techniques in Real-Time and Fault-Tolerant Systems, Untertitel: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings, Einband: Taschenbuch, Autor: Hans Langmaack, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 808, Maße: 235x155x44 mm, Gewicht: 1200 g, Verkäufer: buch-mimpf, Schlagworte: Echtzeit Real-time Realzeit EDV / Theorie / Allgemeines Fehler - Mangel Toleranz (technisch) Echt-Zeit-Systeme Erfüllbarkeitsproblem der Aussagenlogik Fault- Tolerant Systems Fehlertolerierende Systeme Formale Methoden Sicherheitsrelevante Systeme Variable automata configuration formal methods hybrid systems logic processor scheduling system.
Jetzt bei Ebay:
