View of Integrating model checking and UML based model-driven development for embedded systems

Return to Article Details Integrating model checking and UML based model-driven development for embedded systems Download Download PDF