Login / Signup

Using Model-Checking Techniques for Component-Based Systems with Reconfigurations.

Jean-Michel Hufflen
Published in: FESCA (2015)
Keyphrases