Login / Signup

Mining requirements from closed-loop control models.

Xiaoqing JinAlexandre DonzéJyotirmoy V. DeshmukhSanjit A. Seshia
Published in: HSCC (2013)
Keyphrases