Login / Signup
M. A. Berlin
Publication Activity (10 Years)
Years Active: 2013-2021
Publications (10 Years): 1
Top Topics
Formal Verification
Smart City
Messages Exchanged
Traffic Signal Control
Top Venues
Soft Comput.
J. Comput. Sci.
</>
Publications
</>
S. Neelakandan
,
M. A. Berlin
,
Sandesh Tripathi
,
V. Brindha Devi
,
Indu Bhardwaj
,
N. Arulkumar
IoT-based traffic prediction and traffic signal control system for smart city.
Soft Comput.
25 (18) (2021)
M. A. Berlin
,
Sheila Anand
Formal Verification of Safety Message Dissemination Protocol for VANETs.
J. Comput. Sci.
9 (8) (2013)