Formal description techniques, IV proceedings of the ... FORTE '91, Sydney, Australia, 19-22 November 1991

Formal description techniques, IV proceedings of the ... FORTE '91, Sydney, Australia, 19-22 November 1991

Formality is becoming accepted as essential in the development of complex systems such as multi-layer communications protocols and distributed systems. Formality is mandatory for mathematical verification, a procedure being imposed on safety-critical system development. Standard documents are also b...

Full description

Saved in:
Bibliographic Details
Corporate Author: IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols
Other Authors: Parker, K. R. Ken R (Editor), Rose, G. A. Gordon A
Format: Unknown
Published: Amsterdam North-Holland 1992
©1992
Series:IFIP transactions. C-2
Subjects:
Electronic digital computers > Congresses > Programming
Formal languages > Congresses
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

Click Here to View Status and Holdings.

Similar Items