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

Modelling and verification of protocol design for cyber physical systems

Hits:

Date of Publication:2022-10-07

Journal:Journal of Computational Information Systems

Affiliation of Author(s):软件学院

Volume:11

Issue:17

Page Number:6149-6157

ISSN No.:1553-9105

Pre 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
    •
    Open time:..
    The Last Update Time:..

    Mobile phone sweep