A denotational semantics of Simulink with higher-order UTP - Xu, Xiong; Zhan, Bohua; Wang, Shuling; Talpin, Jean-Pierre; Zhan, Naijun (Journal of logical and algebraic methods in programming, 2023)
Keywords: Computer Science; Cyber-physical systems; Denotational semantics; Mathworks Simulink; Model-based design; Unifying theory of programming; Cyber-physical systems; Unifying theory of programming; Model-based design; Denotational semantics; Mathworks Simulink; cyber-physical systems; model-based design cyber-physical systems unifying theory of programming denotational semantics Mathworks Simulink; model-based design; denotational semantics; unifying theory of programming