Supervisory Controller Synthesis for Product Lines Using CIF 3 Maurice H. ter Beek1 , Michel A. Reniers2 , and Erik P. de Vink2,3(B) 1 2

First Page		Document Content
Date: 2017-02-23 10:27:05		Supervisory Controller Synthesis for Product Lines Using CIF 3 Maurice H. ter Beek1 , Michel A. Reniers2 , and Erik P. de Vink2,3(B) 1 2 Add to Reading List Source URL: blog.inf.ed.ac.uk Download Document from Source Website File Size: 464,52 KB Share Document on Facebook