Publications de
Fatma Krichen, Amal Gassara, Bechir Zalila, Mohamed Jmaiel
Towards a Verification Approach for Reconfigurable Embedded Systems (short paper)
Dans : IEEE International Symposium on Computers and Communications (ISCC 2012), Cappadocia, 01/07/12-04/07/12, IEEE : Institute of Electrical and Electronics Engineers, p. 750-752, juillet 2012.