An environment for formal modeling and simulation of control systems.

Details

Language :

English

ISBNs :

9780769505985

Database :

Complementary Index

Journal :

Proceedings 33rd Annual Simulation Symposium (SS 2000)

Publication Type :

Conference

Accession number :

81648592

Full Text :

https://doi.org/10.1109/SIMSYM.2000.844903