Patents

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

Date:2025-07-09  Hits:

Type of Patent:Invent

State of Patent:Pending patent

Application Number:202411926331.8

Service Invention or Not:no

First Author:Liu Ai

Patent Applicant:刘杨,刘少英,Yang Zhibin

Publication Date:2025-04-08

Application Date:2024-12-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