175documents trouvés
Formal and efficient verification techniques for real-time UML models
T.SADANI, P.DE SAQUI SANNES, J.P.COURTIAT
OLC
Manifestation avec acte : 3rd European Congress on Embedded Real Time Software (ERTS'06), Toulouse (France), 25-27 Janvier 2006, 8p. , N° 06007
Diffusable
106403Validation de spécifications RT-LOTOS. Une interface vers l'outil TINA
T.SADANI, P.DE SAQUI SANNES, J.P.COURTIAT
OLC
Manifestation avec acte : 5ème Colloque "Modélisation des Systèmes Réactifs" (MSR'05), Grenoble (France), 5-7 Octobre 2005 , N° 05059
Diffusable
104410Validation de spécifications RT-LOTOS. Une interface vers l'outil TINA
T.SADANI, P.DE SAQUI SANNES, J.P.COURTIAT
OLC
Revue Scientifique : Journal Européen des Systèmes Automatisés, Vol.39, N°1-2-3, pp.271-286, 2005 , N° 05059
Diffusable
105528From RT-LOTOS to time Petri nets. New foundations for a verification platform
T.SADANI, J.P.COURTIAT, P.DE SAQUI SANNES
OLC
Manifestation avec acte : 3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM'2005), Koblenz (Allemagne), 7-9 Septembre 2005, pp.250-259 , N° 05208
Diffusable
104413LEICA: un environnement faiblement couplé pour l'intégration d'applications coopératives
R.L.LIMA GOMES, G.J.HOYOS RIVERA, J.P.COURTIAT
OLC
Manifestation avec acte : 5ème Colloque International sur les Nouvelles Technologies de la Répartition (NOTERE'2005), Gatineau (Canada), 29 Août - 1er Septembre 2005, pp.189-195 , N° 05427
Diffusable
104300LEICA: loosely-coupled environment for integrating collaborative applications
R.L.GOMES, G.J.HOYOS RIVERA, J.P.COURTIAT
OLC
Manifestation avec acte : 16th International Workshop on Database and Expert Systems Applications (DEXA'2005), Copenhague (Dannemark), 22-26 Août 2005, pp.635-639 , N° 05180
Diffusable
104187Integrating collaborative applications with LEICA
R.L.GOMES, G.J.HOYOS RIVERA, J.P.COURTIAT
OLC
Manifestation avec acte : 3rd International Conference on Information Technology: Research and Education (ITRE'05), Hsinchu (Taiwan), 27-30 Juin 2005, 5p. , N° 05131
Diffusable
104632Loosely-coupled integration of CSCW systems
R.L.GOMES, G.J.HOYOS RIVERA, J.P.COURTIAT
OLC
Manifestation avec acte : 5th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS'2005), Athènes (Grèce), 15-17 Juin 2005 , N° 04539
Diffusable
103713Collaborative web browsing tool supporting audio/video interactive presentations
G.J.HOYOS RIVERA, R.L.GOMES, J.P.COURTIAT, R.WILLRICH
OLC, INE-UFSC
Manifestation avec acte : 3rd International Workshop on Distributed and Mobile Collaboration (DMC'2005), Linkoping (Suède), 13-15 Juin 2005, pp.78-83 , N° 05092
Diffusable
104626Translation from RT-LOTOS to time Petri nets
T.SADANI, M.BOYER, J.P.COURTIAT, P.DE SAQUI SANNES
OLC
Rapport LAAS N°05239, Avril 2005, 22p.
Diffusable
103670