CFSM Refinement

Concrete

IP module

Concrete

communication

Shell

Source: Prof. Alberto Sangiovanni

Previous slide

Next slide

Back to first slide

View graphic version