Automatic Dimensional Analysis of Cyber-Physical Systems.

Sam Owre, Indranil Saha, Natarajan Shankar

Browse the full FM paper archive.