IEEE - Institute of Electrical and Electronics Engineers, Inc. - A pragmatic formal method (PFM) for computer system definition and execution

Author(s): White, S.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1992
Conference Location: Research Triangle Park, NC, USA
Conference Date: 23 June 1992
Page(s): 112 - 125
ISBN (Paper): 0-8186-3520-7
DOI: 10.1109/IWRSP.1992.243913
Regular:

The pragmatic formal method (PFM) process produces a model of a to-be-built target system, provides analysis of model quality, and simulates system operation. PFM incorporates a solution to one of... View More

Advertisement