Cite
HARVARD Citation
Li, M. et al. (2016). Automated test generation and error localisation for Simulink/Stateflow modelled systems using extended automata. IET cyber-physical systems. 1 (1), pp. 95-107. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Li, M. et al. (2016). Automated test generation and error localisation for Simulink/Stateflow modelled systems using extended automata. IET cyber-physical systems. 1 (1), pp. 95-107. [Online].