Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Preuves de théorèmes"'
Autor:
Feliachi, Abderrahmane
Le travail présenté dans cette thèse est une contribution aux méthodes formelles de spécification et de vérification. Les spécifications formelles sont utilisées pour décrire un logiciel, ou plus généralement un système, d'une manière ma
Externí odkaz:
http://www.theses.fr/2012PA112372/document
Autor:
Feliachi, Abderrahmane
Le travail présenté dans cette thèse est une contribution aux méthodes formelles de spécification et de vérification. Les spécifications formelles sont utilisées pour décrire un logiciel, ou plus généralement un système, d'une manière ma