Verification of unit and dimensional consistencies in polychronous specifications.

Mahesh Nanjundappa, Sandeep K. Shukla

Browse the full FDL paper archive.