Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- program verification 11 Treffer
- verificacion programa 11 Treffer
- verification programme 11 Treffer
- concurrent program 9 Treffer
- model checking 9 Treffer
-
45 weitere Werte:
- programa competidor 9 Treffer
- programme concurrent 9 Treffer
- verification modele 9 Treffer
- verificacion modelo 8 Treffer
- langage programmation 5 Treffer
- lenguaje programacion 5 Treffer
- programming language 5 Treffer
- desarrollo logicial 4 Treffer
- developpement logiciel 4 Treffer
- memoire partagee 4 Treffer
- memoria compartida 4 Treffer
- shared memory 4 Treffer
- software development 4 Treffer
- abstraccion 3 Treffer
- abstraction 3 Treffer
- langages de programmation 3 Treffer
- methode espace etat 3 Treffer
- metodo espacio estado 3 Treffer
- modeling 3 Treffer
- modelisation 3 Treffer
- modelizacion 3 Treffer
- multitache 3 Treffer
- multitarea 3 Treffer
- multithread 3 Treffer
- preuve programme 3 Treffer
- program proof 3 Treffer
- programming languages 3 Treffer
- prueba programa 3 Treffer
- state space method 3 Treffer
- abstract interpretation 2 Treffer
- acces concurrent 2 Treffer
- acceso simultaneo 2 Treffer
- algebra proceso 2 Treffer
- algebre processus 2 Treffer
- algorithms 2 Treffer
- architecture logiciel 2 Treffer
- artificial intelligence 2 Treffer
- binary decision diagram 2 Treffer
- checking program 2 Treffer
- computer server 2 Treffer
- computer systems and distributed systems. user interface 2 Treffer
- constraint satisfaction 2 Treffer
- debogage 2 Treffer
- debugging 2 Treffer
- decidabilite 2 Treffer
Verlag
Publikation
- lecture notes in computer science 9 Treffer
- acm sigplan notices 4 Treffer
- cav 2005 : computer aided verification (edinburgh, 6-10 july 2005) 3 Treffer
- pldi'07 proceedings of the 2007 acm sigplan conference on programming language design & implementation, june 10-13, 2007, san diego, ca 2 Treffer
- 0cav 2006 1 Treffer
-
12 weitere Werte:
- acm transactions on programming languages and systems 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
- 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
- operating systems review 1 Treffer
- pldi'06: proceedings of the 2006 acm sigplan conference on programming language design and implementation, june 10-16, 2006, ottawa, ontario, canada 1 Treffer
- proceedings of 2005 acm sigplan conference on programming language design and implementation, pldi'05 1 Treffer
- sosp'05 : proceedings of the 20th acm symposium on operating systems principles 1 Treffer
- tacas 2005 : tools and algorithms for the construction and analysis of systems (edinburgh, 4-8 april 2005) 1 Treffer
Sprache
16 Treffer
-
In: SOSP'05 : proceedings of the 20th ACM symposium on operating systems principles, Jg. 39 (2005), Heft 5, S. 235-248Online KonferenzZugriff:
-
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: Proceedings of 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'05, Jg. 40 (2005), Heft 6, S. 27-37KonferenzZugriff:
-
In: PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, Jg. 42 (2007), Heft 6, S. 320-330KonferenzZugriff:
-
In: PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, Jg. 42 (2007), Heft 6, S. 446-455KonferenzZugriff:
-
In: Computer aided verification (18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006), 2006, S. 286-299KonferenzZugriff:
-
In: PLDI'06: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 10-16, Jg. 41 (2006), Heft 6, S. 308-319KonferenzZugriff:
-
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:
-
In: ACM transactions on programming languages and systems, Jg. 36 (2014), Heft 1Online academicJournalZugriff: