Environment for formal modeling and simulation of control systems

Proceedings of the IEEE Annual Simulation Symposium

Volumn , Issue , 2000, Pages 74-79

  Copstein, Bernardo ^a   da Costa Mora, Michael ^a   Ribeiro, Leila ^a  

^a PONTIFICAL CATHOLIC UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

ACTUATORS; ALGORITHMS; ANIMATION; COMPUTATIONAL GRAMMARS; COMPUTER AIDED SOFTWARE ENGINEERING; CONTROL SYSTEMS; DATABASE SYSTEMS; FORMAL LANGUAGES; JAVA PROGRAMMING LANGUAGE; PARALLEL PROCESSING SYSTEMS; SENSORS;

CONTROL ELEMENTS; FORMAL MODELING; GRAPH GRAMMARS;

COMPUTER SIMULATION;

EID: 0033731096     PISSN: 02724715     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (18)