Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen - detaljert visning

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