HEIGHT MEASURING INSTRUMENT

Definition A <HEIGHT MEASURING INSTRUMENT> is a <MEASURING INSTRUMENT> that handles the measurement result from a <HEIGHT MEASURING ELEMENT>