1. Combining formal methods for the development of reactive systems. (13th February 2012) Authors: Mosbahi, Olfa; Khalgui, Mohamed Journal: International journal of computer applications technology Issue: Volume 42:Number 2/3(2011) Page Start: 127 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Formal approach for the development of intelligent industrial control components. (13th February 2012) Authors: Khalgui, Mohamed; Mosbahi, Olfa Journal: International journal of computer applications technology Issue: Volume 42:Number 2/3(2011) Page Start: 84 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗