ICTSS 2018

ICTSS 2018
3/10/18 9h30
Cadix, Espagne

Alexandre Petrenko, Ph. D., chercheur principal de l'équipe Modélisation et développement logiciel avancé du CRIM, y sera pour y présenter un article.

"Inference and Conformance Testing of Embedded Components" Petrenko, A., Avellaneda, F.

Les tests constituent la technique d’assurance qualité la plus importante pour la vérification (partielle) des systèmes de communication et des logiciels, ainsi que pour la validation de leurs modèles. Cependant, les tests restent très difficiles dans la théorie, les méthodes et les outils sous-jacents, dans l’utilisation industrielle et dans son application systématique combinée à d’autres techniques de vérification.

Information

 

 

  • Merci @Grenier_enbref! #donnees #geospatial @opengeospatial @NASA @environnementca @ESA_EO @RNCan
  • @economie_quebec @SciChefQC @lsirois007 @inocanada @FPInnovations #Technologie #Recherche #Industrie #Investissement #Croissance