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

Innovation Group of Safety Critical and Intelligent Software

Hits:

Affiliation of Participant(s):Xidian University

Teaching and Research Group:ICTT and ISN Lab

Status:under study

Supported by:陕西省科技厅

Type of Research Outcome:Rests

Classification of Project:Science and Technology Innovation Group of Shannxi Province

Sub-Class of Project:Innovation research group science foundation

Type of Project:研究与发展成果应用

Supported by:Provincial municipal and autonomous regional science and technology projects

Project level:Provincial and ministerial-level

Project Participants:杨孟飞,,,顾斌,,,,,龚健,乔磊,刘波,,,Nannan Wang,,Zhao Hui,,,,Luxury

Project Number:S2019-ZC-TD-0038

Classification of Disciplines:Engineering

First-Level Discipline:Computer Science and Technology

Date of Project Approval:2018-11-01

Scheduled completion time:2021-12-31

Date of Project Completion:2021-12-31

Date of Project Initiation:2019-01-01

Project Approval Number:2019TD-001

Pre One:Research on Verification of Pointer Programs based on Spatio-Temporal Reasoning

Next One:Spatio-Temporal Reasoning with Improved Spatio-Temporal Logic PPTL^SL

Baidu
map