Publication | Closed Access
An introduction to Estelle: A specification language for distributed systems
290
Citations
7
References
1987
Year
Specification LanguageFormal SpecificationEngineeringFormal ModelingProgram AnalysisFormal MethodsSoftware AnalysisSoftware EngineeringSystems EngineeringDistributed EnvironmentDistributed SystemsFormal VerificationSystem SoftwareSoftware DesignSystem Specification
| Year | Citations | |
|---|---|---|
Page 1
Page 1