|
|
Інтранет | Веб-пошта | Поширені питання | Індивідуальні сторінки | ![]() |
![]() |
|
Laboratoire XLIM UMR CNRS 7252 Bât. H1 - SP2MI 11 Bd Marie et Pierre Curie TSA 41123 86073 Poitiers Cedex 9 GPS : 86360 Futuroscope Chasseneuil |
[4] Two discrete-continuous operations based on the scaling transform
Largeteau-Skapin G., Andres E.
Discrete Geometry for Computer Imagery, DGCI 2006, Szeged, Hungary - Octobre 2006 - 2006
[3] Discrete Geometry Applied in Hard Real-Time Systems Validation
Largeteau G., Geniet D., Andres E.
DGCI 2005 12th International Conference, Poitiers, Volume LNCS 3429, pages 23--33 - April 2005
[2] Term Validation of distributed hard real time applications
Largeteau G, Geniet D
Conference on Implementation and Application of Automata - 2002
[1] Validation temporelle de systèmes de tâches temps réel strictes à durées variables à l'aide de langages rationnels
Geniet D, Largeteau G
Modélisation des Systèmes Réactifs, pages 243--258 - 2001
[1] Validation of distributed periodic real-time systems using CAN protocol with finite automata
Largeteau-Skapin G., Geniet D., Dubernard J-P.
Conference on Systemics, Cybernetics and Informatics, Volume XIV, pages 151--155 - 2001
[3] Quantification du taux d'invalidité d'applications temps réel
Geniet D, Largeteau-Skapin G.
Real-Time Systems 2005 - Avril 2005
[2] Une approche géométrique pour la validation d'applications temps réel à contraintes strictes
Largeteau G, Chauvière B, Geniet D
Real Time Systems'2004, pages 15--33 - 2004
[1] Validation temporelle d'applications temps réel distribuées à contraintes strictes
Largeteau G, Geniet D
Real Time Systems'2002 - 2002
[1] Quantification du taux d'invalidité d'applications temps réel à contraintes strictes
Largeteau G
Thèse de l'Université de Poitiers - October 2004
Crédits et mentions légales | - Dernière mise à jour le 30 mars 2022 - | ![]() |