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

 

 

  • NRC Canada RT @NRC_CNRC: Most audio archives of Indigenous languages have not been indexed for keyword search. We are working with @CRIM_ca @Pirurvik…
  • CNRC RT @CNRC_NRC: Avec @CRIM_ca, @Pirurvik et @CBCNorth, nous cherchons à faciliter la recherche ???? par mot-clé dans les archives audio en #inuk…