Girish Patil

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Automated Verification

Transition Systems

Computation Tree Logic

Message Delivery

Top Venues

MoDELS (Companion)

Publications

Seema Arvind Darekar, Girish Patil, Nakul Pawar, Smita Jagdale, Nalini Tiwari, Akshada Padale
A Protection Approach For Coal Miners Safety Helmet Using IoT. ICCST (2023)
Andrii Kovalov, Girish Patil, Vishav Bansal, Andreas Gerndt
Model checking message delivery times in SpaceWire networks. MoDELS (Companion) (2022)