Concepedia

System Modeling Using Event-B: An Insight

Rahul Karmakar, Bidyut Biman Sarkar, Nabendu Chaki

SSRN Electronic Journal · 2019 · 10 citations · 0 references

Open access

Concepts

EngineeringComputer ScienceSystems EngineeringModel-based Systems EngineeringSystems ArchitectureSystems ModelingDiscrete-event System ModelingModel ExecutionProcess ModelingSystem SimulationDiscrete-event Systems