Login / Signup
Anasuya Chaudhuri
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Automatic Analysis
Mobile Robot
Multiscale
Clustering Algorithm
Top Venues
CISIM
</>
Publications
</>
Anasuya Chaudhuri
,
Shreya Banerjee
,
Anirban Sarkar
Behavioral Analysis of Service Oriented Systems Using Event-B.
CISIM
(2018)