Publication | Closed Access
Validation of formal models by refinement animation
26
Citations
9
References
2011
Year
Refinement TechniqueEngineeringAutomated ReasoningVerificationDesignFormal MethodsRefinement AnimationModel RefinementComputer-aided DesignModeling And SimulationComputer ScienceModel VerificationFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1