A Unifying Semantics for Sequential Function Charts.

Nanette Bauer Ralf Huuck Ben Lukoschus Sebastian Engell

Published in: SoftSpez Final Report (2004)

Keyphrases

logic programming
database
website
formal semantics
sequential search
objective function
conceptual graphs