Angela Yun Zhu, Edwin M. Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif Salama, Marisa Linnea Peralta, Travis Martin, Walid Taha, Marcia K. O'Malley, Robert Cartwright, Aaron Ames, Raktim Bhattacharya. Mathematical equations as executable models of mechanical systems. In Janos Sztipanovits, Raj Rajkumar, editors, ACM/IEEE 1st International Conference on Cyber-Physical Systems, ICCPS '10, Stockholm, Sweden, April 12-15, 2010. pages 1-11, ACM, 2010. [doi]
Abstract is missing.