Publication | Closed Access
An Approach for the Synthesis of State Transition Graphs from Use Cases.
24
Citations
0
References
2003
Year
EngineeringUse CasesState Space SearchFormal ModelingAutomated ReasoningSystem SpecificationDesignFormal MethodsSoftware EngineeringUse CaseComputer ScienceState Transition GraphsFinite-state SystemSoftware AnalysisSoftware DesignFormal Verification
No additional data available for this publication yet. Check back later!