Publication | Closed Access
A formal verification framework for SysML activity diagrams
37
Citations
19
References
2013
Year
Formal SpecificationEngineeringFormal Verification FrameworkFormal ModelingAutomated ReasoningVerificationFormal MethodsSoftware AnalysisSystems EngineeringComputer ScienceModel CheckingFormal VerificationSoftware Design
| Year | Citations | |
|---|---|---|
Page 1
Page 1