Distributed System Model Using SysML and Event-B.

Qi Zhang Zhiqiu Huang Jian Xie

Published in: MLICOM (1) (2017)

Keyphrases

distributed systems
high level
probabilistic model
mobile agents
neural network
computational model
load balancing
operating system
process model