Login / Signup
An Actual Stadium Verification of WLAN Using a Distributed Smart Antenna System (D-SAS).
Tomoki Murakami
Koichi Ishihara
Hirantha Abeysekera
Yasushi Takatori
Published in:
IEICE Trans. Commun. (2021)
Keyphrases
</>
distributed systems
wide area network
cooperative
distributed environment
model checking
computer networks
wireless networks
fault tolerant
wireless local area network
multi agent
lightweight
mobile agents
computing environments
smart environments
formal verification