Affordable Access

Contribution à la validation de systèmes de processus communiquant par files d'attente (analyse statique pour la réduction de files)

Authors
Publication Date
Source
OpenGrey Repository
Keywords
  • Computer Science
  • Communication Technology
  • Informatique
  • Technologie Communication
  • 090 - Electronics And Electrical Engineering, Computer Science, General
  • 170 - Navigation, Communications, Detection And Countermeasures, General
  • Informatique. Systèmes Et Communication
External links

Abstract

Statistics

Seen <100 times