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

Open in new window