Work

A Modeling and Verification Method of Cyber-Physical Systems Based on AADL and Process Algebra

Year: 2023

Type: article

Source: International Journal of Software Engineering and Knowledge Engineering

DOI: 10.1142/s0218194023500468

Authors: Zhen Li, Zining Cao, Fujun Wang, Chao Xing

Institutions: Nanjing University of Aeronautics and Astronautics, Ministry of Industry and Information Technology

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Natural Science Foundation of China, Chinese Aeronautical Establishment, Fundamental Research Funds for the Central Universities

Awards: G2226322849, G2821560599, 高可信嵌入式软件建模与验证方法的研究, G6425954411

OpenAlex ID: W4385350625

FWCI: 0.402

Cites: 40

Cited by: 3

Related to: 10