Sign up to save your podcastsEmail addressPasswordRegisterOrContinue with GoogleAlready have an account? Log in here.
January 11, 2010J'utilise les mathématiques pour améliorer la fiabilité des systèmes embarqués3 minutesPlayIntégration des techniques de vérification formelle de modèles dans les processus de développement de logiciels pour les systèmes embarqués....moreShareView all episodesBy Université européenne de BretagneJanuary 11, 2010J'utilise les mathématiques pour améliorer la fiabilité des systèmes embarqués3 minutesPlayIntégration des techniques de vérification formelle de modèles dans les processus de développement de logiciels pour les systèmes embarqués....more
Intégration des techniques de vérification formelle de modèles dans les processus de développement de logiciels pour les systèmes embarqués.
January 11, 2010J'utilise les mathématiques pour améliorer la fiabilité des systèmes embarqués3 minutesPlayIntégration des techniques de vérification formelle de modèles dans les processus de développement de logiciels pour les systèmes embarqués....more
Intégration des techniques de vérification formelle de modèles dans les processus de développement de logiciels pour les systèmes embarqués.