Login / Signup

Modeling Timing Requirements in Problem Frames Using CCSL.

Xiaohong ChenJing LiuFrédéric MalletZhi Jin
Published in: APSEC (2011)
Keyphrases