Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- program verification 8 Treffer
- verificacion programa 8 Treffer
- verification programme 8 Treffer
- concurrent program 7 Treffer
- model checking 7 Treffer
-
45 weitere Werte:
- programa competidor 7 Treffer
- programme concurrent 7 Treffer
- verification modele 7 Treffer
- verificacion modelo 6 Treffer
- desarrollo logicial 3 Treffer
- developpement logiciel 3 Treffer
- memoire partagee 3 Treffer
- memoria compartida 3 Treffer
- methode espace etat 3 Treffer
- metodo espacio estado 3 Treffer
- modeling 3 Treffer
- modelisation 3 Treffer
- modelizacion 3 Treffer
- shared memory 3 Treffer
- software development 3 Treffer
- state space method 3 Treffer
- abstraccion 2 Treffer
- abstraction 2 Treffer
- algebra proceso 2 Treffer
- algebre processus 2 Treffer
- artificial intelligence 2 Treffer
- binary decision diagram 2 Treffer
- checking program 2 Treffer
- constraint satisfaction 2 Treffer
- decidabilite 2 Treffer
- decidability 2 Treffer
- decidibilidad 2 Treffer
- diagrama binaria decision 2 Treffer
- diagramme binaire decision 2 Treffer
- espace etat 2 Treffer
- espacio estado 2 Treffer
- formal method 2 Treffer
- intelligence artificielle 2 Treffer
- logica proposicional 2 Treffer
- logique propositionnelle 2 Treffer
- methode formelle 2 Treffer
- methode raffinement 2 Treffer
- metodo afinamiento 2 Treffer
- metodo formal 2 Treffer
- model-based reasoning 2 Treffer
- process algebra 2 Treffer
- programa control 2 Treffer
- programme controle 2 Treffer
- propositional logic 2 Treffer
- raisonnement base sur modele 2 Treffer
Publikation
- lecture notes in computer science 9 Treffer
- cav 2005 : computer aided verification (edinburgh, 6-10 july 2005) 3 Treffer
- 0cav 2006 1 Treffer
- cav 2002 : computer aided verification (copenhagen, 27-31 july 2002) 1 Treffer
- computer aided verification (18th international conference, cav 2006, seattle, wa, usa, august 17-20, 2006) 1 Treffer
-
5 weitere Werte:
- concur 2004 : concurrency theory (london, 31 august - 3 september 2004) 1 Treffer
- cots-based software systems (prague, 1-4 february 2004) 1 Treffer
- foundations of intelligent systems (maebashi city, 28-31 october 2003) 1 Treffer
- ifm 2004 : integrated formal methods (canterbury, 4-7 april 2004) 1 Treffer
- tacas 2005 : tools and algorithms for the construction and analysis of systems (edinburgh, 4-8 april 2005) 1 Treffer
Sprache
10 Treffer
-
In: Foundations of intelligent systems (Maebashi City, 28-31 October 2003), 2003, S. 628-632KonferenzZugriff:
-
In: CAV 2005 : computer aided verification (Edinburgh, 6-10 July 2005), 2005, S. 153-157KonferenzZugriff:
-
In: Computer aided verification (18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006), 2006, S. 286-299KonferenzZugriff:
-
In: CAV 2005 : computer aided verification (Edinburgh, 6-10 July 2005), 2005, S. 505-518KonferenzZugriff:
-
In: TACAS 2005 : tools and algorithms for the construction and analysis of systems (Edinburgh, 4-8 April 2005), 2005, S. 93-107KonferenzZugriff:
-
In: CAV 2005 : computer aided verification (Edinburgh, 6-10 July 2005), 2005, S. 82-97KonferenzZugriff:
-
In: CONCUR 2004 : concurrency theory (London, 31 August - 3 September 2004), 2004, S. 1-15KonferenzZugriff:
-
In: IFM 2004 : integrated formal methods (Canterbury, 4-7 April 2004), 2004, S. 128-147KonferenzZugriff:
-
In: COTS-based software systems (Prague, 1-4 February 2004), 2004, S. 117-126KonferenzZugriff:
-
In: CAV 2002 : computer aided verification (Copenhagen, 27-31 July 2002), 2002, S. 123-136KonferenzZugriff: