Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx.

Manzoor Ahmad, Iulia Dragomir, Jean-Michel Bruel, Iulian Ober, Nicolas Belloir

Browse the full SIMULTECH paper archive.