Mohamed Niang
According to our database1,
Mohamed Niang
authored at least 4 papers
between 2017 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
IEEE Intell. Transp. Syst. Mag., 2018
2017
Proceedings of the 14th International Conference on Informatics in Control, 2017