1. Formal ESL Synthesis for Control-Intensive Applications. (27th June 2012) Authors: Dossis, Michael F. Other Names: Barkaoui Kamel Academic Editor. Journal: Advances in software engineering Issue: Volume 2012(2012) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Formal ESL Synthesis for Control-Intensive Applications. (27th June 2012) Authors: Dossis, Michael F. Other Names: Barkaoui Kamel Academic Editor. Journal: Advances in software engineering Issue: Volume 2012(2012) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗