Back to Search
Start Over
An environment for formal modeling and simulation of control systems.
- Source :
- Proceedings 33rd Annual Simulation Symposium (SS 2000); 2000, p74-79, 6p
- Publication Year :
- 2000
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