Login / Signup

Checking Properties along Multiple Reconfiguration Paths for Component-Based Systems.

Jean-Michel Hufflen
Published in: FESCA@ETAPS (2017)
Keyphrases