The Formal Specification of the Fieldbus Foundation Link Scheduler in E-LOTOS.

N. Petalidis, D. S. Gill

Browse the full ICFEM paper archive.