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

Innovation Group of Safety Critical and Intelligent Software

Hits:

Project Name:Innovation Group of Safety Critical and Intelligent Software

Institution:Xidian University

Teaching and Research Group:ICTT and ISN Lab

Leading Scientist:TIANCONG

Status:under study

Supported by:陕西省科技厅

Type of Research Outcome:Rests

Classification of Project:陕西省创新人才推进计划-科技创新团队

Sub-Class of Project:Innovation research group science foundation

Project Source:Provincial municipal and autonomous regional science and technology projects

Project Level:Provincial and ministerial-level

Project Participants:杨孟飞,顾斌,龚健,乔磊,刘波

Project Number:S2019-ZC-TD-0038

Discipline: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

Date:2019-01-22

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

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