Login / Signup

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

Brahim HamidSigrid GürgensChristophe JouvrayNicolas Desnos
Published in: MoDELS (2011)
Keyphrases