Current position: Home >> Scientific Research >> Research Projects

基于动态逻辑的同步模型验证方法研究

Hits:

Affiliation of Participant(s):计算机科学与技术学院/软件学院

Date of Project Approval:2024-01-01

Pre One:基于动态逻辑的同步模型验证方法

Copyright©2018- Nanjing University of Aeronautics and Astronautics·Informationization Department(Informationization Technology Center)

Click : times
  • MOBILE Version
    •
    Open time:..
    The Last Update Time:..

    Mobile phone sweep