A Unified Formulation of Behavioral Semantics for SysML Models.

Christoph Hilken, Jan Peleska, Robert Wille

Browse the full MODELSWARD paper archive.