M.G. Hill

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

A Formal Definition of the Static Semantics of ELLA's Core

J.D. Morison and others (1991) · Royal Signals and Radar Establishment

Formal Semantic Definition of ELLA Timing

M.G. Hill and others (1990) · Royal Signals and Radar Establishment

Real number arithmetic for mixed behavioural and structural descriptions

M.G. Hill and others (1990) · IEE Proceedings G Circuits, Devices and Systems · Institution of Engineering and Technology (IET)