Static analysis of physical properties in Simulink models.

Ashlie B. Hocking, M. Anthony Aiello, John C. Knight

Browse the full ISSRE paper archive.