DMCA

Checking SCADE Models for Correct Usage of Physical Units (2006)

Cached

Download Links

by Rupert Schlick , Wolfgang Herzner , Thierry Le Sergent
Venue:Proc. of SAFECOMP'06, Sep. 2006, Gdansk/P, 358371; Springer LNCS
Citations:5 - 1 self