Publication | Closed Access

Formal process algebraic modeling, verification, and analysis of an abstract Fuzzy Inference Cloud Service

Fuzzy LogicEngineeringFuzzy ComputingFuzzy ModelingFormal ModelingAutomated ReasoningFuzzy MathematicsCloud ComputingVerificationFormal MethodsSystems EngineeringFuzzy OptimizationComputer ScienceFormal VerificationFormal Process