IEEE - Institute of Electrical and Electronics Engineers, Inc. - Formal methods applied to plywood production

Proceedings. Third International Conference on Quality Software

Author(s): R. Ibrahim ; M. Lu
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2003
Conference Location: Dallas, TX, USA, USA
Conference Date: 7 November 2003
Page Count: 8
Page(s): 298 - 305
ISBN (Paper): 0-7695-2015-4
DOI: 10.1109/QSIC.2003.1319114
Regular:

Formal notations and mathematics are used in several areas to capture the requirements and express the functionalities of the software. This paper focuses on the use of formal methods to model the... View More

Advertisement