Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Keywords » - entrée « temporal logic »
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.
temporal knowledge representation < temporal logic < temporal logic of actions  Facettes :

List of bibliographic references indexed by temporal logic

Number of relevant bibliographic references: 17.
Ident.Authors (with country if any)Title
002351 (2011-05-19) Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France]Behavior Analysis of Malware by Rewriting-based Abstraction - Extended Version
002894 (2010-12-17) Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France]Abstraction by Term Rewriting for Malware Behavior Analysis - Extended Version
005589 (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
005C65 (2005) Moritz Hammer ; Alexander Knapp ; Stephan MerzTruly On-The-Fly LTL Model Checking
005E22 (2005) Alexander Knapp ; Stephan Merz ; Martin Wirsing ; Julia ZappeSpecification and Refinement of Mobile Systems in MTLA and Mobile UML
006974 (2004) Alexander Knapp ; Stephan Merz ; Martin WirsingRefining Mobile UML State Machines
007597 (2003) Stephan Merz ; Martin Wirsing ; Julia ZappeA Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems
007728 (2003) Stephan Merz ; Ali SezginEmptiness of Linear Weak Alternating Automata
007842 (2003) Stephan MerzOn the Logic of TLA+
008411 (2002) Olfa Mosbahi ; Leila Jemni ; Samir Ben Ahmed ; Jacques JarayA Specification and Validation Technique Based on STATEMATE and FNLOG
009155 (2001) Patrick BlackburnFine Grained Theories of Time
00A549 (1999) Samir Tata ; Gérôme Canals ; Claude GodartUsing Temporal Logic to Specify Interactions in Cooperative Applications
00BA63 (1997) Denis RoegelStudy of the Semantics of ``Real'' Parallel Languages in TLA
00C299 (1995) A. Mokkedem ; D. MéryOn Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems
00C451 (1995) M. Bouzid ; A. LigezaTemporal Logic based on Characteristic Functions
00C492 (1995) M. BouzidContribution au raisonnement temporel. Application aux systèmes de maintien de vérité
00CB42 (1994) A. MokkedemVérification et raffinement de programmes parallèles dans une logique temporelle compositionnelle

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i -k "temporal logic" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i  \
                -Sk "temporal logic" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    temporal logic
}}
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