Current position: Home >> Scientific Research >> Paper Publications

Modelling and verification of protocol design for cyber physical systems

Release Time:2022-11-02  Hits:

Date of Publication: 2022-10-07

Journal: Journal of Computational Information Systems

Institution: 软件学院

Volume: 11

Issue: 17

Page Number: 6149-6157

ISSN: 1553-9105

Prev One:Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking

Next One:A novel green software evaluation model for cloud robotics
Recommended Ph.D.Supervisor Recommended MA Supervisor Institutional Repository Personal Page

Address: No.2 Linggong Road, Ganjingzi District, Dalian City, Liaoning Province, P.R.C., 116024

Click:Times MOBILE Version
The Founding Time : ..
The Last Update Time : ..

Mobile phone sweep