Project

General

Profile

Feature #3894

Separate DSR feature from MIRA into "Verification" plugin

Added by Tatiana Chuprina 10 months ago.

Status:
New
Priority:
Normal
Category:
-
Target version:
Start date:
12/09/2019
Due date:
% Done:

0%

Estimated time:

Description

Separate DSR feature from MIRA into "Verification" plugin


Related issues

Related to Feature #3858: DSRs integration with SimulinkIn Progress12/09/2019

History

#1 Updated by Tatiana Chuprina 10 months ago

Also available in: Atom PDF