.:. Consultation > Liste par auteurs > Bel Hadj Amor .:.

2 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

Integrating PSL Properties into SystemC Transactional Modeling - Application to the Verification of a Modem SoC Pierre L. et al In Proc. of IEEE International Symposium on Industrial Embedded Systems (SIES'2012) - IEEE International Symposium on Industrial Embedded Systems (SIES'2012), Germany (2012) [hal-00745099 - version 1]

Runtime Verification of Typical Requirements for a Space Critical SoC Platform Ferro L. et al Dans Proc. of 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11) - 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11), Italie (2011) [hal-00644103 - version 1]