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
Keywords :
discrete event control systems , multiformalism , validation , simulation.
Journal title :
Journal of Intelligent and Robotic Systems
Journal title :
Journal of Intelligent and Robotic Systems
