Model Based Program Specification and Program Generation - In a Case of Vehicle-Engine Control System Design.

Setsuo Ohsuga, Shunsuke Chigusa, Katsuyuki Sugaya

Browse the full PRICAI paper archive.