Zobrazeno 1 - 4
of 4
pro vyhledávání: '"A. Genon"'
Publikováno v:
Formal Aspects of Computing. 17:177-200
We study the formal verification of programs written in d SL, an extension of the standard ST language used to program industrial controllers. It proposes a trade off between industrial and formal verification worlds. The main advantage of d SL is to
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Formal Aspects of Computing; Aug2005, Vol. 17 Issue 2, p177-200, 24p
Publikováno v:
Formal Aspects of Computing; August 2005, Vol. 17 Issue: 2 p177-200, 24p