Title: Covered of State Invariant  
Author: Kristina B. May 22, 2023
Last Changed by: Kristina B. May 30, 2023
Tiny Link: (useful for email) https://docs.nomagic.com/x/oQEdCg
Export As: Word · PDF  
Hierarchy
Parent Page
    Page: UML correctness constraints (in progress)
Labels
There are no labels assigned to this page.
Recent Changes
Time Editor  
May 30, 2023 08:47 Kristina B.  
Outgoing Links
MagicDraw 2024x Refresh1 (1)     Page: Covered of State Invariant