مرکز منطقه ای اطلاع رساني علوم و فناوري - Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations

Title of article :

Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations

Author/Authors :

Thomas Ellman and Takahiro Murata ، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 1998

Pages :

From page :

291

To page :

319

Keywords :

program synthesis , Deduction , Numerical simulation

Journal title :

Automated Software Engineering

Serial Year :

1998

Journal title :

Automated Software Engineering

Record number :

307034

Link To Document :