Scientific Programming

Research Article

A Time Refinement Framework Based on iUML-B State Machine

Figure 8

General method of incremental refinement.