Affordable Access

Critères de test et génération de séquences de tests pour des systèmes réactifs synchrones modélisés par des équations flots de données et contrôlés par des automates étendus,

Authors
Publication Date
Source
OpenGrey Repository
Keywords
  • Computer Science
  • Informatique
  • Automates Programmables
  • Programmation Logique
  • Systèmes Réactifs Sychrones
  • Automates De Modes
  • Programmation Logique Contrainte
  • 09H - Computer Software, Programming
  • 09P - Artificial Intelligence
  • Informatique
External links

Abstract

Statistics

Seen <100 times