Accéder directement au contenu

Bernard RIERA

2
Documents
Identifiants chercheurs
  • IdHAL bernard-riera
  • ORCID 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

Publications

1116584
Image document

Vérification formelle des programmes automates de la SNCF par Model-Checking

Mohamed Niang , Philippot Alexandre , François Gellot , Raphaël Coupat , Bernard Riera
11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR), Nov 2017, Marseille, France
Communication dans un congrès hal-03427261v1
Image document

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