Work

Semantics Foundation for Cyber-physical Systems Using Higher-order UTP

Year: 2022

Type: article

Source: ACM Transactions on Software Engineering and Methodology

DOI: 10.1145/3517192

Authors: Xiong Xu, Jean-Pierre Talpin, Shuling Wang, Bohua Zhan, Naijun Zhan

Institutions: Institut national de recherche en sciences et technologies du numérique, Chinese Academy of Sciences, Institute of Software, University of Chinese Academy of Sciences, State Key Laboratory of Computer Science

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Natural Science Foundation of China

Awards: G1415909970, 多异质嵌入式系统的建模、仿真与验证研究, 面向程序验证的自动定理证明理论、方法与工具研究, G41279851, G4190218710, G5543570208

OpenAlex ID: W4293235771

FWCI: 0.723

Cites: 55

Cited by: 11

Related to: 10