Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code

Biallas, Sebastian; Schlich, Bastian; Stattelmann, Stefan; Kowalewski, Stefan

doi:999910361864

Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code

Biallas, Sebastian (Author) ; Kowalewski, Stefan (Author) ; Stattelmann, Stefan (Author) ; Schlich, Bastian (Author)

In
Discrete Event Systems : [Proc. Proceedings of the 12th International Workshop on Discrete Event Systems, Cachan, France, 2014] / Conference Editor: Lesage, Jean-Jacques, Faure, Jean-Marc, Cury, Jose E. R., Lennartson, Bengt, Seiten/Artikel-Nr: 400-405

2014

Konferenz/Event:Discrete Event Systems : [12th International Workshop on Discrete Event Systems] , Cachan , France , 2014-05-14 - 2014-05-16

ImpressumCachan, France : IFAC

Umfang400-405