Picture for Eric Mercer

Eric Mercer

Semantic based model of Conceptual Work Products for formal verification of complex interactive systems

Add code
Aug 04, 2020
Figure 1 for Semantic based model of Conceptual Work Products for formal verification of complex interactive systems
Figure 2 for Semantic based model of Conceptual Work Products for formal verification of complex interactive systems
Figure 3 for Semantic based model of Conceptual Work Products for formal verification of complex interactive systems
Figure 4 for Semantic based model of Conceptual Work Products for formal verification of complex interactive systems
Viaarxiv icon