Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings
J. Vytopil (ed.)
Bok Engelsk 1991
| Utgitt | Berlin : Springer , c1991
|
|---|---|
| Omfang | IX, 620 s. : ill.
|
| Opplysninger | "These papers were presented at the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems ..." - Forordet.
|
| Emner | Fault-tolerant computing - Congresses
Real-time data processing - Congresses Databehandling - Pålitelighet sanntidssystemer pålitelighet |
| ISBN | 0387550925. - 3540550925
|
