Publication | Open Access
Introduction to the ISO specification language LOTOS
1.3K
Citations
18
References
1987
Year
Specification LanguageFormal SpecificationEngineeringFormal MethodsSoftware AnalysisSystems EngineeringSoftware EngineeringComputer ScienceFormal VerificationSystem SoftwareSoftware DesignSystem Specification
| Year | Citations | |
|---|---|---|
Page 1
Page 1