scientific article; zbMATH DE number 1836375

zbMATH Open1012.68106MaRDI QIDQ4782048FDOQ4782048

Authors: Sébastien Bornot, Ralf Huuck, Ben Lukoschus, Yassine Lakhnech 

Publication date: 24 April 2003

Title of this publication is not available (Why is that?)

Recommendations

• Proving sequential function chart programs using timed automata
• Neutralizing semantic ambiguities of function block architecture by modeling with ASM
• scientific article; zbMATH DE number 1158228
• Fundamental Approaches to Software Engineering
• Modeling and proving Grafcets with transition systems

zbMATH Keywords

programmable logic controllerssequential function charts

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited In (3)

• Formal modelling of IEC 61499 function blocks with integer-valued data types
• Neutralizing semantic ambiguities of function block architecture by modeling with ASM
• The Grafpol programming language for programmable logic controllers

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4782048)