Title of article
Using Simulation for the Validation of High Level Specifications of Control Systems
Author/Authors
Watcharee Jumpamule، نويسنده , , Jean-Luc Paillet and Norbert Giambiasi، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2003
Pages
31
From page
345
To page
375
Keywords
discrete event control systems , multiformalism , validation , simulation.
Journal title
Journal of Intelligent and Robotic Systems
Serial Year
2003
Journal title
Journal of Intelligent and Robotic Systems
Record number
361755
Link To Document