Title of article :
Automated Synthesis of Numerical Programs for Simulation of Rigid Mechanical Systems in Physics-Based Animation
Author/Authors :
Thomas Ellman and Takahiro Murata ، نويسنده , , Ryan Deak and Jason Fotinatos ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2003
Keywords :
specification , synthesis , numerical , Program
Journal title :
Automated Software Engineering
Journal title :
Automated Software Engineering
