Monter d'un niveau |
El-Mahi, O., Pesant, G., Nicolescu, G., & Beltrame, G. (octobre 2013). Embedded system verification through constraint-based scheduling [Communication écrite]. International Symposium on Rapid System Prototyping (RSP 2013), Montréal, Québec, Canada. Lien externe