Semantics and Reasoning for Control Application Engineering Models.

David Hstbacka, Seppo Kuikka

Browse the full ICAISC paper archive.