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!

Be the first to leave a comment!

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

Similar Items