Bernard RIERA

Documents

Identifiants chercheurs

bernard-riera
0000-0003-1294-874X
Google Scholar : https://scholar.google.fr/citations?hl=fr&user=Ra8FSWUAAAAJ&view_op=list_works&sortby=pubdate
IdRef : 114568022

Présentation

1116585

	Formal Verification for Validation of PSEEL's PLC Program Mohamed Niang , Philippot Alexandre , François Gellot , Raphaël Coupat , Bernard Riera 14th International Conference on Informatics in Control, Automation and Robotics (ICINCO), Jul 2017, Madrid, Spain Communication dans un congrès hal-03427253v1