Keywords
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « Keywords » - entrée « Reactive system »
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.
Reachability analysis < Reactive system < Reading  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 18.
Ident.Authors (with country if any)Title
000136 (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
000140 (2011) Khaled Gaaloul [Luxembourg (pays)] ; H. A. Proper [Luxembourg (pays)] ; Ehtesham Zahoor [France] ; François Charoy [France] ; Claude Godart [France]A logical framework for reasoning about delegation policies in workflow management systems
000155 (2010) Walid Gaaloul [France] ; Karim Baïna [Maroc] ; Claude Godart [France]Fouille de workflow
000256 (2009) Olivier Simonin [France] ; Olivier Grunder [France]A cooperative multi-robot architecture for moving a paralyzed robot
000260 (2008) BOULBABA BEN AMMAR [France, Tunisie] ; MOHAMED TAHAR BHIRI [Tunisie] ; Jeanine Souquieres [France]Modélisation événementielle pour la construction de diagrammes de classes
000332 (2006) Mohsen Rouached [France] ; Walid Gaaloul [France] ; Wil M. P. Van Der Aalst [Pays-Bas] ; Sami Bhiri [France] ; Claude Godart [France]Web Service Mining and Verification of Properties : An Approach Based on Event Calculus
000336 (2006) Mohsen Rouached [France] ; Olivier Perrin [France] ; Claude Godart [France]Towards formal verification of web service composition
000339 (2006) Dominique Cansell [France] ; Dominique Méry [France] ; Joris Rehm [France]Time constraint patterns for event B development
000421 (2006) Walid Gaaloul [France] ; Karim Baïna [Maroc] ; Claude Godart [France]A bottom-up workflow mining approach for workflow applications analysis
000446 (2005) Walid Gaaloul [France] ; Kalim Baïna [Maroc] ; Claude Godart [France]Towards mining structural workflow patterns
000531 (2005) Mohsen Rouached [France] ; Olivier Perrin [France] ; Claude Godart [France]A contract-based approach for monitoring collaborative web services using commitments in the event calculus
000532 (2005) Mohsen Rouached [France] ; Olivier Perrin [France] ; Claude Godart [France]A contract layered architecture for regulating cross-organisational business processes
000541 (2004) Franck Gechter [France] ; Vincent Chevrier [France] ; Francois Charpillet [France]Un modèle de résolution de problèmes utilisant des agents réactifs pour la localisation et le suivi
000613 (2004) Walid Gaaloul [France] ; Sami Bhiri [France] ; Claude Godart [France]Discovering workflow transactional behavior from event-based log
000684 (2003) Stephan Merz [France]On the logic of TLA+
000701 (2003) Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France]Formal derivation of spanning trees algorithms
000763 (2002) Alexander Bockmayr [France] ; Arnaud Courtois [France]Using Hybrid concurrent constraint programming to model dynamic biological systems
000977 (2000) Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz [Allemagne]Predicate diagrams for the verification of reactive systems

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/KwdEn.i -k "Reactive system" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/KwdEn.i  \
                -Sk "Reactive system" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    Reactive system
}}
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