Model-based verification of batch process control software

• 17 December 2002
• proceedings article
• Published by Institute of Electrical and Electronics Engineers (IEEE)
• Vol. 1, 331-336
• https://doi.org/10.1109/icsmc.1994.399860

Abstract

Keywords

• BOOLEAN FUNCTIONS
• PROCESS CONTROL
• CHEMICAL ENGINEERING
• SOFTWARE PERFORMANCE
• APPLICATION SOFTWARE
• BATCH PROCESS
• SOFTWARE TESTING
• UNCERTAINTY
• LOGIC