Publication | Closed Access
Hierarchical specification and validation of operating sequences in the context of FMSs
12
Citations
0
References
1991
Year
EngineeringVerificationOperating SequencesSoftware EngineeringSoftware AnalysisFormal VerificationHierarchical SpecificationSystems EngineeringFunctional TestingFormal SpecificationFormal ModelingComputer EngineeringComputer ScienceSoftware DesignSpecification LanguageProgram AnalysisSoftware TestingFormal MethodsSystem SoftwareSystem Specification
No additional data available for this publication yet. Check back later!