Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis
2011
Cet expose presente differents exemples d'applications concretes de methodes formelles pour l'analyse et la verification de systemes complexes dans des domaines tres varies, comme les mathematiques, la normalisation en reecriture et le securite des communications
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
22
References
0
Citations
NaN
KQI