Formal Requirements Engineering for Smart Industries: Toward a Model-Based Graphical Language.

Alexandre Le Borgne, Nicolas Belloir, Jean-Michel Bruel, Thuy Nguyen

Browse the full UIC paper archive.