91documents trouvés
Développement de systèmes temps-réel pour l'avionique : l'approche Cotre
B.BERTHOMIEU, J.P.BODEVEIX, P.DISSAUX, P.FARAIL, J.M.FARINES, M.FILALI, P.GAUFFILET, P.MICHEL, P.O.RIBET, F.VERNADAT
OLC, IRIT-UPS, TNI, EADS AIRBUS SA, ONERA-CERT
Rapport LAAS N°03058, Février 2003, 12p.
Diffusable
100515On combining the persistent sets method with the covering steps graph method
P.O.RIBET, F.VERNADAT, B.BERTHOMIEU
OLC
Manifestation avec acte : 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'2002), Houston (USA), 11-14 Novembre 2002 , N° 02388
Diffusable
100159Rapport sur les sémantiques, concepts, techniques et outils
S.ABDELLATIF, B.BERTHOMIEU, J.P.BODEVEIX, J.M.FARINES, M.FILALI, C.LOHR, P.MICHEL, O.NASR, G.PADIOU, P.O.RIBET, S.SARPAG, F.VERNADAT
OLC, IRIT-UPS, ONERA-CERT
Rapport de Contrat : Contrat RNTL COTRE, Octobre 2002, 76p. , N° 02384
Diffusable
53781Maîtrise de l'explosion combinatoire pour la vérification formelle
P.O.RIBET, F.VERNADAT, B.BERTHOMIEU
OLC
Manifestations avec acte à diffusion limitée : Colloque Annuel de l'Ecole Doctorale Informatique et Télécommunications (EDIT'2002), Toulouse (France), 28-29 Mars 2002, pp.97-100 , N° 02064
Diffusable
51749Graphe de pas persistant
P.O.RIBET, F.VERNADAT, B.BERTHOMIEU
OLC
Manifestation sans acte : Journées FAC'2002. Formalisation des Activités Concurrentes, Toulouse (France), 26-27 Mars 2002, 15p. , N° 02045
Diffusable
51440Les réseaux de Petri temporels
B.BERTHOMIEU, M.BOYER, M.DIAZ
OLC
Ouvrage (contribution) : Les Réseaux de Petri. Modèles fondamentaux, Hermes Science, Traité IC2 Information-Commande-Communication, N°ISBN 2-7462-0250-6, 2001, Chapitre 5, pp.161-197 , N° 01095
Non diffusable
48344La méthode des classes d'états pour l'analyse des réseaux temporels. Mise en ¿uvre, extension à la multi-sensibilisation
B.BERTHOMIEU
OLC
Manifestation avec acte : Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'2001), Toulouse (France), 17-19 Octobre 2001, pp.275-290 , N° 01343
Diffusable
47856Analyse des réseaux de Petri temporels. La méthode des classes d'états et sa mise en ¿uvre
B.BERTHOMIEU
OLC
Manifestations avec acte à diffusion limitée : Journées "Formalisation des Activités Concurrentes" (FAC'2001), Toulouse (France), 25-26 Avril 2001, pp.119-132 , N° 01094
Diffusable
4506800 programming styles in ML
B.BERTHOMIEU
OLC
Rapport LAAS N°00111, Mars 2000, 148p.
Diffusable
38209The agent graph coordination approach for the design of distributed cooperative systems
K.DRIRA, B.BERTHOMIEU, M.DIAZ
OLC
Manifestations avec acte à diffusion limitée : 3èmes Journées Réseaux (JRES'99), Montpellier (France), 29 Novembre - 3 Décembre 1999, pp.151-159 , N° 97054
Diffusable
36218