Auteurs
Analysis
Allemagne
Racine
Analysis
Allemagne
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur les relations entre la France et l'Australie - Analysis (Allemagne)

Index « Auteurs » - entrée « Anton Wijs »
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.
Anton W. Langerak < Anton Wijs < Anton-Rupert Laireiter  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 1.
Ident.Authors (with country if any)Title
001F14 (2009) Stefan Edelkamp [Allemagne] ; Viktor Schuppan [Italie] ; Dragan Bošna Ki [Pays-Bas] ; Anton Wijs [France] ; Ansgar Fehnker [Australie] ; Husain Aljazzar [Allemagne]Survey on Directed Model Checking

List of associated KwdEn.i

Nombre de
documents		Descripteur
1Abstract space
1Abstraction database
1Algebra
1Algorithm
1Algorithmic essentials
1Automaton
1Basic idea
1Beam search
1Beam width
1Cend
1Checker
1Clock variables
1Communication protocols
1Concrete space
1Concurrent systems
1Consistent estimates
1Constraint
1Contract states
1Cost algebra
1Cost algebras
1Cost relation
1Cost threshold
1Cost values
1Counterexample
1Counterexample generation
1Cumulated costs
1Cycle proviso
1Data transfer protocols
1Database
1Discrete edge transitions
1Distance heuristic
1Distance heuristics
1Edelkamp
1Estimate relation
1Fair cycle
1Fair lasso
1Fair path
1Fair state
1Fmin
1Fmin gmin
1Formal methods
1Frontier search
1Functional model
1General model
1Gmin
1Goal state
1Goal states
1Hash table
1Heidelberg
1Heuristic
1Heuristic estimate
1Heuristic estimates
1Heuristic search
1Homomorphic abstraction
1Human user
1Ieee computer society press
1Ieee trans
1Initial states
1Interactive visualization
1Iteratively search
1Less reduction
1Leue
1Liveness
1Liveness properties
1Lncs
1Local states
1Main reason
1Markov
1Markov chains
1Markov decision processes
1Maxh
1Maximum number
1Minimal cost
1Model checker
1Model checker returns
1Model checkers
1Monotonicity relaxation
1Nding
1Nite
1Nite part
1Node
1Optimal cost
1Optimal scheduling
1Original model
1Other words
1Outer search
1Outgoing transitions
1Partial order reduction
1Perimeter search
1Princeton university press
1Priority queue
1Probabilistic
1Probabilistic reachability
1Probable path
1Problem graphs
1Procedure modelcheck input
1Program counter
1Queue
1Reachability
1Reachability analysis

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Asie/explor/AustralieFrV1/Data/Allemagne/Analysis

HfdIndexSelect -h $EXPLOR_AREA/Data/Allemagne/Analysis/Author.i -k "Anton Wijs" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Allemagne/Analysis/Author.i  \
                -Sk "Anton Wijs" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Allemagne/Analysis/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Asie
   |area=    AustralieFrV1
   |flux=    Allemagne
   |étape=   Analysis
   |type=    indexItem
   |index=    Author.i
   |clé=    Anton Wijs
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Tue Dec 5 10:43:12 2017. Site generation: Tue Mar 5 14:07:20 2024