IEEE - Institute of Electrical and Electronics Engineers, Inc. - Towards the integration of ExSpect and S-Cort: a case study

Author(s): Agoulmine, M. ; Pitrel, J.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1992
Conference Location: Morristown, NJ, USA
Conference Date: 15 June 1992
Page(s): 574 - 584
ISBN (Paper): 0-8186-2697-6
DOI: 10.1109/ICSI.1992.217305
Regular:

PROOFS project aims to develop a method for heterogeneous distributed applications (HDA) design, including formal techniques of specification. The skeleton of the PROOFS method is based on the use... View More

Advertisement