Cite
APA Citation
Mohalik, S., Gadkari, A. A., Yeolekar, A., Shashidhar, K., & Ramesh, S. (n.d.). automatic test case generation from Simulink/Stateflow models using model checking. Software testing, verification & reliability, 24, 155–180. http://access.bl.uk/ark:/81055/vdc_100024776509.0x00001f