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