1. Correct-by-construction model driven engineering composition operators. (May 2016) Authors: Kezadri Hamiaz, Mounira; Pantel, Marc; Thirioux, Xavier; Combemale, Benoit Journal: Formal aspects of computing Issue: Volume 28:Number 3(2016) Page Start: 409 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Correct-by-construction model driven engineering composition operators. (May 2016) Authors: Kezadri Hamiaz, Mounira; Pantel, Marc; Thirioux, Xavier; Combemale, Benoit Journal: Formal aspects of computing Issue: Volume 28:Number 3(2016) Page Start: 409 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗