An Environment for Formal Modeling and Simulation of Control Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bernardo Copstein, Michael da Costa Móra, Leila Ribeiro. An Environment for Formal Modeling and Simulation of Control Systems. In Proceedings 33th Annual Simulation Symposium (SS 2000), 16-22 April 2000, Washington, DC, USA. pages 74, IEEE Computer Society, 2000. [doi]

This author has not been identified. Look up 'Bernardo Copstein' in GoogleThis author has not been identified. Look up 'Michael da Costa Móra' in GoogleThis author has not been identified. Look up 'Leila Ribeiro' in Google

runs on WebDSL