ISoLA 2007 Workshop On Leveraging Applications of Formal Methods, Verification and Validation - ONERA - Office national d'études et de recherches aérospatiales Accéder directement au contenu
N°Spécial De Revue/Special Issue Revue des Nouvelles Technologies de l'Information Année : 2007
Fichier non déposé

Dates et versions

hal-03376104 , version 1 (13-10-2021)

Identifiants

  • HAL Id : hal-03376104 , version 1

Citer

Yamine Aït-Ameur, Frédéric Boniol, Virginie Wiels. ISoLA 2007 Workshop On Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2007 Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Dec 2007, Poitiers-Futuroscope, France. Revue des Nouvelles Technologies de l'Information, 2007, 978-2-85428-814-8. ⟨hal-03376104⟩
12 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More