Title of article :
External model and SyncCharts description of an automobile cruise control system
Author/Authors :
M. Bayart، نويسنده , , E. Lemaire، نويسنده , , M. -A. Péraldi and C. André، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1999
Pages :
9
From page :
1259
To page :
1267
Keywords :
Cruise control , Formal speci"cation , Intelligent instrumentation , Model reduction , validation
Journal title :
Electric Power Systems Research
Serial Year :
1999
Journal title :
Electric Power Systems Research
Record number :
372649
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=372649
بازگشت