PascalFr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « PascalFr.i » - entrée « Logique temporelle »
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.
Logique spatiale < Logique temporelle < Logique épistémique  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 17.
Ident.Authors (with country if any)Title
000026 (2013) Zohra Sbaï [Tunisie] ; Kamel Barkaoui [France]Vérification formelle des processus workflow: Extension aux workflows inter-organisationnels
000348 (2006) Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne] ; Julia Zappe [Allemagne, France]Specification and refinement of mobile systems in MTLA and mobile UML
000442 (2005) Moritz Hammer [Allemagne] ; Alexander Knapp [Allemagne] ; Stephan Merz [France]Truly on-the-fly LTL model checking
000459 (2005) Jean-Raymond Abrial [Suisse] ; Dominique Cansell [France] ; Dominique Méry [France]Refinement and reachability in Event―B
000469 (2005) César Torres-Huitzil [France] ; Bernard Girau [France] ; Claudio Castellanos-Sanchez [France]On-chip visual perception of motion : A bio-inspired connectionist model on FPGA
000575 (2004) Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne]Refining mobile UML state machines
000684 (2003) Stephan Merz [France]On the logic of TLA+
000685 (2003) F. Laroussinie [France] ; Ph. Schnoebelen [France] ; M. Turuani [France]On the expressivity and complexity of quantitative branching-time temporal logics
000762 (2002) Abdessamad Imine [Tunisie] ; Yahya Slimani [Tunisie] ; Sorin Stratulat [France]Using automated induction-based theorem provers for reasoning about concurrent systems
000803 (2002) David Deharbe [Brésil] ; Anamaria Martins Moreira [Brésil] ; Christophe Ringeissen [France]Improving symbolic model checking by rewriting temporal logic formulae
000971 (2000) A. Armando [Italie, France] ; C. Castellini [Royaume-Uni] ; E. Giunchiglia [Italie]SAT-based procedures for temporal reasoning
000977 (2000) Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz [Allemagne]Predicate diagrams for the verification of reactive systems
000A99 (1999) Y. Mokhtari [France] ; S. Merz [Allemagne]Animating TLA specifications
000B03 (1999) D. Cansell [France] ; D. Mery [France]Abstract animator for temporal specifications : Application to TLA
000B52 (1998) M. Mouhoub [France] ; F. Charpillet [France] ; J. P. Haton [France]Experimental analysis of numeric and symbolic constraint satisfaction techniques for temporal reasoning
000D07 (1996) B. Heyd [France] ; P. Gregut [France]A modular coding of UNITY in COQ
000D27 (1995) ABDELILLAH MOKKEDEM [France] ; D. MeryOn using temporal logic for refinement and compositional verification of concurrent 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/PascalFr.i -k "Logique temporelle" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/PascalFr.i  \
                -Sk "Logique temporelle" \
         | 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=    PascalFr.i
   |clé=    Logique temporelle
}}
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