Proceedings of the 2014 Forum on Specification and Design Languages (FDL) Specification and Design Languages (FDL), 2014 Forum on. 978-2-9530504-9-3:1-8 Oct, 2014
Proceedings of the 2014 Forum on Specification and Design Languages (FDL) Specification and Design Languages (FDL), 2014 Forum on. 978-2-9530504-9-3:1-7 Oct, 2014
2012 First International Conference on Renewable Energies and Vehicular Technology Renewable Energies and Vehicular Technology (REVET), 2012 First International Conference on. :84-89 Mar, 2012
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on. 27(7):1305-1314 Jul, 2008
2005 Sixth International Workshop on Microprocessor Test and Verification Microprocessor Test and Verification, 2005. MTV '05. Sixth International Workshop on. :133-137 Nov, 2005