Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches.

Brahim Hamid, Sigrid Grgens, Christophe Jouvray, Nicolas Desnos

Browse the full MODELS paper archive.