Checking SCADE Models for Correct Usage of Physical Units.

Rupert Schlick, Wolfgang Herzner, Thierry Le Sergent

Browse the full SAFECOMP paper archive.