Affordable Access

Réseaux de Petri à chronomètres (temps dense et temps discret)

Authors
Publication Date
Source
OpenGrey Repository
Keywords
  • Computer Science
  • Informatique
  • Petri, Réseaux De
  • Systèmes Temps Réel
  • Temps Dense
  • Temps Discret
  • Vérification
  • Expressivité
  • 09I - Control Systems, Control Theory
  • 09H - Computer Software, Programming
  • 09P - Artificial Intelligence
  • Automatique Et Informatique Appliquée
External links

Abstract

Statistics

Seen <100 times