Embedded system specifications and transformation into Occam

Journal of Microcomputer Applications - Tập 16 - Trang 347-367 - 1993
M.Elizabeth C. Hull1, Peter G. O'Donoghue1, Patrick Curran1
1Department of Computing Science, University of Ulster, Newtownabbey, Co. Antrim BT37 0QB, N. Ireland, UK