Login / Signup
A denotational semantics of Simulink with higher-order UTP.
Xiong Xu
Bohua Zhan
Shuling Wang
Jean-Pierre Talpin
Naijun Zhan
Published in:
J. Log. Algebraic Methods Program. (2023)
Keyphrases
</>
denotational semantics
higher order
programming language
lambda calculus
operational semantics
high order
query language
control algorithm
control system
fault detection
markov random field
abstract data types
pairwise
artificial intelligence
general purpose
spatial data