Automatic Generation and Formal Verification of Safe PLC Programs for Railway Control Systems, Invited Plenary Talk
| Autor: | Zaytoon, J., Niang, Mohamed, riera, bernard, Alexandre, Philippot, Gellot, François |
|---|---|
| Přispěvatelé: | Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804 (CRESTIC), Université de Reims Champagne-Ardenne (URCA) |
| Jazyk: | angličtina |
| Rok vydání: | 2018 |
| Předmět: | |
| Zdroj: | International Conference on Control, Automation and Systems (ICCAS) International Conference on Control, Automation and Systems (ICCAS), 2018, PyeongChang, South Korea |
| Popis: | International audience |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|