Publication | Closed Access
Validation of a SFC Software Specification by Using Hybrid Automata
21
Citations
2
References
1998
Year
Specification LanguageFormal SpecificationEngineeringProgram AnalysisSoftware TestingVerificationSoftware ValidationFormal MethodsSoftware AnalysisSystems EngineeringSoftware EngineeringHybrid AutomataSystem SpecificationComputer ScienceFormal VerificationSystem SoftwareSoftware DesignSoftware Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1