Mohamed Niang - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 4 from 4

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 systemsMohamed Niang, Bernard Riera, Alexandre Philippot, Janan Zaytoon, François Gellot, Raphaël Coupat. cii, 123:103328, 2020. [doi]

2018

Methodology for Railway Automation Study and Automatic Generation of PLC ProgramsRaphaël Coupat, Alexandre Philippot, Mohamed Niang, Christian Courtois, David Annebicque, Bernard Riera. itsm, 10(3):80-93, 2018. [doi]

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))Mohamed Niang. PhD thesis, University of Reims Champagne-Ardenne, France, 2018. [doi]

2017

Formal Verification for Validation of PSEEL's PLC ProgramMohamed Niang, Alexandre Philippot, François Gellot, Raphaël Coupat, Bernard Riera, Sébastien Lefebvre. icinco 2017: 567-574 [doi]

Sign in or sign up to see more results.

runs on WebDSL