Mohamed Niang

According to our database1, Mohamed Niang authored at least 4 papers between 2017 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway control systems.
Comput. Ind., 2020

2018
Vérification formelle et simulation pour la validation des systèmes de contrôle commande des EALE. (Formal verification and simulation for the validation of PSEEL's control systems (Power Supply Equipment of the Electric Lines)).
PhD thesis, 2018

Methodology for Railway Automation Study and Automatic Generation of PLC Programs.
IEEE Intell. Transp. Syst. Mag., 2018

2017
Formal Verification for Validation of PSEEL's PLC Program.
Proceedings of the 14th International Conference on Informatics in Control, 2017


  Loading...