Shubhangi Salunkhe

According to our database, Shubhangi Salunkhe authored at least 2 papers in 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Automating Model Transformations for Railway Systems Engineering.

Nils Weidmann, Shubhangi Salunkhe, Anthony Anjorin, Enes Yigitbas, Gregor Engels

J. Object Technol., 2021

Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application.

Shubhangi Salunkhe, Randolf Berglehner, Abdul Rasheeq

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021