Revue des nouvelles technologies de l'information, n° SM-1. Isola 2007 workshop on leveraging applications of formal methods, verification and validation
Éditeur: Cépaduès
2007223 pagesISBN 9782854288148
Format: BrochéLangue : Anglais
Communications concernant les méthodes formelles appliquées ici plus particulièrement aux domaines de l'avionique, de l'espace et des transports.
Ce livre est proposé par (0) membre(s)
Ce livre est mis en favori par (0) membre(s)