Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Environnement Why3 pour la vérification déductive"'
Autor:
Lourenço, Cláudio, Cousineau, Denis, Faissole, Florian, Marché, Claude, Mentré, David, Inoue, Hiroaki
Publikováno v:
[Research Report] RR-9402, Inria. 2021, pp.25
Programmable logic controllers (PLC) are industrial digital computers used as automation controllers of manufacturing processes, such as assembly lines or robotic devices. The Ladder language, also known as Ladder Logic, is a programming language use
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c2b533e677c1c15eaff4516cd49f8421
https://hal.inria.fr/hal-03199464
https://hal.inria.fr/hal-03199464
