Formal verification of Simulink/Stateflow diagrams
Zhan Naijun, Wang Shuling, Zhao HengjunKniha
Citace v seznamu literatury:
ZHAN, Naijun; WANG, Shuling a ZHAO, Hengjun. Formal verification of Simulink/Stateflow diagrams: a deductive approach. Cham, Switzerland: Springer, [2016]. ISBN 9783319470160. Dostupné také z: https://proxy.k.utb.cz/login?url=https://link.springer.com/10.1007/978-3-319-47016-0.