Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- abstract interpretation 1 Treffer
- acces concurrent 1 Treffer
- acceso simultaneo 1 Treffer
- analyse atteignabilite 1 Treffer
- antememoire 1 Treffer
-
40 weitere Werte:
- antememoria 1 Treffer
- cache memory 1 Treffer
- checking program 1 Treffer
- concurrency 1 Treffer
- concurrent program 1 Treffer
- constraint satisfaction 1 Treffer
- deadlock 1 Treffer
- especificacion formal 1 Treffer
- formal specification 1 Treffer
- formal verification 1 Treffer
- interblocage 1 Treffer
- interbloqueo 1 Treffer
- interpretacion abstracta 1 Treffer
- interpretation abstraite 1 Treffer
- logica proposicional 1 Treffer
- logique propositionnelle 1 Treffer
- memoire partagee 1 Treffer
- memoria compartida 1 Treffer
- methode raffinement 1 Treffer
- metodo afinamiento 1 Treffer
- model-based reasoning 1 Treffer
- modeling 1 Treffer
- modelisation 1 Treffer
- modelizacion 1 Treffer
- programa competidor 1 Treffer
- programa control 1 Treffer
- programme concurrent 1 Treffer
- programme controle 1 Treffer
- propositional logic 1 Treffer
- race 1 Treffer
- raisonnement base sur modele 1 Treffer
- reachability analysis 1 Treffer
- refinement method 1 Treffer
- satisfaccion restriccion 1 Treffer
- satisfaction contrainte 1 Treffer
- shared memory 1 Treffer
- simultaneidad informatica 1 Treffer
- simultaneite informatique 1 Treffer
- specification formelle 1 Treffer
- verification formelle 1 Treffer
Publikation
Sprache
2 Treffer
-
In: VMCAI 2005 : verification, model checking, and abstract interpretation (Paris, 17-19 January 2005), 2005, S. 130-145KonferenzZugriff:
-
In: CAV 2005 : computer aided verification (Edinburgh, 6-10 July 2005), 2005, S. 82-97KonferenzZugriff: