View of Verifying the Correctness of UML Statechart Outpatient Clinic Based on Common Modeling Language and SMV

Return to Article Details Verifying the Correctness of UML Statechart Outpatient Clinic Based on Common Modeling Language and SMV Download Download PDF