Patents

一种融合切片测试和形式验证的运行时异常检测方法

Date:2025-07-09  Hits:

Type of Patent:Invent

State of Patent:Authorized patents

Application Number:202411926331.8

Authorization number:CN 119782175 B

Number of Inventors:4

Service Invention or Not:no

First Author:Liu Ai

Disigner of the Invention:饶磊,刘少英,Yang Zhibin

Publication Date:2025-04-08

Application Date:2024-12-28

Authorization Date:2025-11-28

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

Click:| The Last Update Time:--| The Last Update Time:-- |MOBILE Version