Formal verification of simulink/stateflow diagrams a deductive approach - Zhan, Naijun; Wang, Shuling; Zhao, Hengjun (Springer, 2017)
Keywords: Engineering; Microprocessors; Electronic circuits; Circuits and Systems; Processor Architectures; Electronic Circuits and Devices; Ingenieurwissenschaften