Disk controller

Disk controller

• The model
• Translation of the model to AutoC, Auto and NBac
• Experiments

Disk controller