Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Le cluster Jacques Jaray - Olfa Mosbahi

Terms

29Jacques Jaray
20Olfa Mosbahi
11Leila Jemni Ben Ayed

Associations

Freq.WeightAssociation
150.623Jacques Jaray - Olfa Mosbahi
90.607Leila Jemni Ben Ayed - Olfa Mosbahi
Documents par ordre de pertinence
005156 (2006-04-03) Olfa Mosbahi [France] ; Leila Jemni Ben Ayed [Tunisie] ; Jacques Jaray [France]Formal Development Method of Automated Systems using the Temporal Logic of Actions TLA
005185 (2006-03-08) Olfa Mosbahi [France] ; Jacques Jaray [France] ; Leila Jemni Ben Ayed [France]A formal development approach of control systems using the event based B approch, Case study : A parcel sorting device
005186 (2006-03-08) Olfa Mosbahi [France] ; Jacques Jaray [France] ; Leila Jemni Ben Ayed [Tunisie]A Formal Development Method of Control Systems using Event B Approach
005C59 (2005) Olfa Mosbahi ; Jacques Jaray ; Leila Jemni Ben AyedA formal development approach of control systems using the event based B approch, Case study : A parcel sorting device
007F32 (2002-10-21) Olfa Mosbahi [Tunisie] ; Leila Jemni Ben Ayed [Tunisie] ; Samir Ben Ahmed [Tunisie] ; Jacques Jaray [France]A Specification and Validation Technique Based on STATEMATE and FNLOG
002F92 (2010) Olfa Mosbahi [France, Tunisie] ; Jacques Jaray [France]B événementiel et les propriétés de vivacité
004693 (2007-10-17) Olfa Mosbahi [France] ; Jacques Jaray [France] ; Samir Ben Ahmed [Tunisie]Spécification et vérification des propriétés de vivacité en B événementiel
004798 (2007-07-22) Olfa Mosbahi [France] ; Jacques Jaray [France]Specification and Proof of Liveness Properties in B Event Systems
004799 (2007-07-22) Olfa Mosbahi [France] ; Leila Jemni [Tunisie] ; Jacques Jaray [France]A Formal Approach for the Development of Automated Systems
005909 (2005-09-13) Olfa Mosbahi [Tunisie] ; Leila Jemni Ben Ayed [Tunisie]Utilisation conjointe de B et TLA+ pour la modélisation et la vérification des systèmes réactifs
005A81 (2005-03-01) Olfa Mosbahi [France] ; Leila Jemni Ben Ayed [France] ; Samir Ben Ahmed [France]A Formal development approach of control systems using the event-based B approach
006017 (2005) Olfa Mosbahi ; Leila Jemni Ben Ayed ; Samir Ben AhmedA Formal development approach of control systems using the event-based B approach
006035 (2005) Olfa Mosbahi ; Leila Jemni Ben AyedUtilisation conjointe de B et TLA+ pour la modélisation et la vérification des systèmes réactifs
006638 (2004-06-01) Olfa Mosbahi [France] ; Jacques Jaray [France]Développement formel de systèmes de contrôle-commande.
006708 (2004) Olfa Mosbahi ; Jacques JarayReprésentation du temps en B événementiel pour la modélisation des systèmes temps réel
006718 (2004) Olfa Mosbahi ; Jacques JarayUne démarche formelle de développement de systèmes de contrôle-commande
006D48 (2004) Olfa Mosbahi [France] ; Jacques Jaray [France]Une démarche formelle de développement de systèmes de contrôle-commande.
006D70 (2004) Olfa Mosbahi [France] ; Jacques Jaray [France]Représentation du temps en B événementiel pour la modélisation des systèmes de temps réel.
008411 (2002) Olfa Mosbahi ; Leila Jemni ; Samir Ben Ahmed ; Jacques JarayA Specification and Validation Technique Based on STATEMATE and FNLOG
002813 (2011) Olfa Mosbahi [Allemagne] ; Mohamed Khalgui [Allemagne]Combining formal methods for the development of reactive systems : DEVELOPMENT OF EMBEDDED SYSTEMS: MODELLING, VERIFICATION, SCHEDULING, IMPLEMENTATION AND RECONFIGURATION
005165 (2006-04) Houda Fekih [France] ; Leila Jemni Ben Ayed [Tunisie] ; Stephan Merz [France]Transformation of B Specifications into UML Class Diagrams and State Machines
008C86 (2001-06) Dominique Cansell [France] ; Jacques Jaray [France] ; Dominique Mery [France]Utilisation de B pour l'aide à la spécification d'un système de diagnostic
009413 (2001) Dominique Cansell [France] ; Jacques Jaray [France]Utilisation de B pour l'aide à la spécification d'un système de diagnostic
009912 (2000) Leila Jemni Ben AyedUne approche formelle pour la spécification et la vérification des systèmes temps-réel
009935 (2000) Dominique Cansell [France] ; Jacques Jaray ; Dominique Méry [France]Rapport final de contrat Cifre entre le LORIA et Peugeot SA et de contrat d'expertise sur l'utilisation de la méthode B.
009A20 (2000) Jacques JarayFixing Race Condition Errors with Formal Techniques. A Case Study in Concurrent Java Programming
009A64 (2000) Jacques Jaray ; Olivier GalibertA Data-Parallel Implementation of the Gauss-Seidel Iteration Method Applied to the Sliding Box Problem
00A042 (2000) Dominique Cansell [France] ; Jacques Jaray [France] ; Dominique Méry [France]Rapport final de contrat Cifre entre le LORIA et Peugeot SA et de contrat d'expertise sur l'utilisation de la méthode B.
00A221 (2000) Jacques Jaray [France]Fixing Race Condition Errors with Formal Techniques. A Case Study in Concurrent Java Programming
00A306 (2000) Jacques Jaray [France] ; Olivier Galibert [France]A Data-Parallel Implementation of the Gauss-Seidel Iteration Method Applied to the Sliding Box Problem
00A424 (1999) Jacques JarayLe temps dans le processus de développement des applications informatiques.
00A728 (1999) Leila Jemni ; Jacques Jaray ; Ahmed MahjoubSpecifying historical Consequence and Postponed Effect Properties in Real-Time Systems
00AC25 (1999) Leila Jemni [France] ; Jacques Jaray [France] ; Ahmed MahjoubSpecifying historical Consequence and Postponed Effect Properties in Real-Time Systems
00B817 (1997) Pierre Berlioux ; Didier Bert ; Michel Charpentier ; Bernard Coulette ; Xavier Crégut ; Lydie Du Bousquet ; Mamoun Filali ; Paul Jacquet ; Jacques Jaray ; Yves Ledru ; Nicole Levy ; Philippe Mauran ; Pierre Maurice ; Bruno Mermet ; Farid Ouabdesselam ; Gérard Padiou ; Marie-Laure Potet ; Philippe Quéinnec ; Songsakdi Rongviriyapanish ; Jeanine SouquièresFormalisation du Développement de Logiciels : un banc d'essai des méthodes formelles
00BA79 (1997) Leila Jemni ; Ahmed Mahjoub ; Jacques JarayHistorical Consequence and Postponed Effects in Real-Time Systems
00E326 (1988) Jacques Jaray [France]Timed specifications for the development of real-time systems
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022