Contribution%à%la%modélisation%et%à%la%vérification ... - Toubkal
De manière générale le cours vise à: présenter des méthodes de vérification pour s'assurer que le logiciel d'un système embarqué travaille correctement avec ...
De manière générale le cours vise à: présenter des méthodes de vérification pour s'assurer que le logiciel d'un système embarqué travaille correctement avec ...