Communication Dans Un Congrès Année : 2016

Automated test generation for synchronous controllers

Domaines

Connectez-vous pour contacter le contributeur

https://hal.science/hal-01424800

Soumis le : lundi 2 janvier 2017-21:39:30

Dernière modification le : dimanche 8 février 2026-23:07:27

Fichier non déposé

Dates et versions

hal-01424800 , version 1 (02-01-2017)

Identifiants

  • HAL Id : hal-01424800 , version 1

Citer

Mouna Tka Mnad, Christophe Deleuze, Ioannis Parissis, Jackie Launay, Jean-Baptiste Gning. Automated test generation for synchronous controllers. 11th International Workshop on Automation of Software (AST) , May 2016, Austin, TX, United States. ⟨hal-01424800⟩

Exporter

Collections

116 Consultations
0 Téléchargements

Partager

  • More