Formal semantics for hierarchical Simulink diagrams in Isabelle/HOL

Journal of Systems Architecture 2026

View at publisher

Authors: Yuzhen Qi, Shuling Wang, Xing Li, Bohua Zhan, Naijun Zhan

DOI: 10.1016/j.sysarc.2026.103724

Cited by: 1

References: 6

Fields of Study & Subjects

Formal Methods in Verification Modeling and Simulation Systems Embedded Systems Design Techniques

References 6