Communication Dans Un Congrès
Année : 2004
Olivier Henri Roux : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00523591
Soumis le : mardi 5 octobre 2010-17:27:48
Dernière modification le : vendredi 5 janvier 2024-03:22:00
Dates et versions
Identifiants
- HAL Id : hal-00523591 , version 1
Citer
Didier Lime, Olivier Henri Roux. A translation based method for the timed analysis of scheduling extended time Petri nets. The 25th IEEE International Real-Time Systems Symposium, (RTSS'04), 2004, Lisbon, Portugal. pp.187--196. ⟨hal-00523591⟩
Collections
86
Consultations
0
Téléchargements