1、A Modular Approach on Building Certified Software System;
2、Determination of Computation Order with Sequential Modular Approach in Simulation of Phenol Synthesis