Sanjeevan Sritharan

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Neural Network Model

Accurate Models

Learning Algorithm

Top Venues

Publications

Sanjeevan Sritharan, Thai Son Hoang
Towards Generating SPARK from Event-B Models. IFM (2020)