Manash Sarker

According to our database, Manash Sarker authored at least 1 paper in 2022.

Collaborative distances:

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

2022

InstruPro: Instrumenting Programmable Logic Controller (PLC) based on Model Checking.

Abdullah Al Farooq, Manash Sarker

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2022