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

Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking

Hits:

Journal:International Journal of Software Engineering and Knowledge Engineering

Volume:33

Issue:6

Page Number:885-932

ISSN No.:0218-1940

Pre One:SDLV: Verification of Steering Angle Safety for Self-Driving Cars

Next One:基于凸优化的无人驾驶汽车转向角安全性验证
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