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

Wus Method Based Temporal Assertions Checking for SEREs Properties

Hits:

Indexed by:期刊论文

Date of Publication:2013-01-01

Journal:Journal of Information & Computational Science

Volume:3

Issue:10

Page Number:901-910

Pre One:Wu's method based temporal assertions checking for SEREs properties

Next One:A Case Study on High Trustworthy Environment Construction for Smart Home Applications
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