[IEEE Comput. Soc 29th Annual International Symposium on Fault-Tolerant Computing - Madison, WI, USA (15-18 June 1999)] Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352) - Rigorous development of a safety-critical system based on coordinated atomic actions
Xu, J., Randell, B., Romanovsky, R.J., Stroud, R.J., Zorzo, A.F., Canver, E., von Henke, F.Year:
1999
Language:
english
DOI:
10.1109/ftcs.1999.781035
File:
PDF, 86 KB
english, 1999