Project

General

Profile

Feature #1449

MIRA: REQIF-export for safety properties

Added by Anonymous over 7 years ago. Updated almost 7 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
07/03/2013
Due date:
% Done:

80%

Estimated time:

History

#1 Updated by Anonymous about 7 years ago

  • Target version changed from Phoenix 2.4 RC1 (Feature Freeze) to Phoenix 2.4 RC2 (UI Beautification)

#2 Updated by Anonymous about 7 years ago

  • Target version changed from Phoenix 2.4 RC2 (UI Beautification) to Phoenix - BACKLOG

#3 Updated by Anonymous almost 7 years ago

  • Status changed from New to Resolved
  • % Done changed from 0 to 80

Please test (e.g. with ProR), or assign it back to me and I give it to someone else for testing.

#4 Updated by Anonymous almost 7 years ago

  • Target version changed from Phoenix - BACKLOG to Team Programing - Session 6

#5 Updated by Anonymous almost 7 years ago

  • Status changed from Resolved to Closed

Also available in: Atom PDF