Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- genie logiciel 27 Treffer
- software engineering 27 Treffer
- model checking 20 Treffer
- verification modele 16 Treffer
- verificacion modelo 15 Treffer
-
45 weitere Werte:
- safety 12 Treffer
- securite 12 Treffer
- seguridad 12 Treffer
- concurrency 10 Treffer
- concurrent program 10 Treffer
- desarrollo logicial 10 Treffer
- developpement logiciel 10 Treffer
- programa competidor 10 Treffer
- programme concurrent 10 Treffer
- simultaneidad informatica 10 Treffer
- simultaneite informatique 10 Treffer
- software development 10 Treffer
- abstract interpretation 8 Treffer
- analisis estatica 7 Treffer
- analisis programa 7 Treffer
- analyse programme 7 Treffer
- analyse statique 7 Treffer
- debogage 7 Treffer
- debugging 7 Treffer
- interpretacion abstracta 7 Treffer
- interpretation abstraite 7 Treffer
- program analysis 7 Treffer
- puesta a punto programa 7 Treffer
- static analysis 7 Treffer
- formal method 6 Treffer
- formal verification 6 Treffer
- langage programmation 6 Treffer
- lenguaje programacion 6 Treffer
- logica proposicional 6 Treffer
- logique propositionnelle 6 Treffer
- memory organisation. data processing 6 Treffer
- methode formelle 6 Treffer
- metodo formal 6 Treffer
- modeling 6 Treffer
- modelisation 6 Treffer
- modelizacion 6 Treffer
- organisation des memoires. traitement des donnees 6 Treffer
- programming language 6 Treffer
- propositional logic 6 Treffer
- verification formelle 6 Treffer
- abstraccion 5 Treffer
- abstraction 5 Treffer
- analyse atteignabilite 5 Treffer
- binary decision diagram 5 Treffer
- computer systems and distributed systems. user interface 5 Treffer
Publikation
- lecture notes in computer science 32 Treffer
- cav 2005 : computer aided verification (edinburgh, 6-10 july 2005) 6 Treffer
- vmcai 2005 : verification, model checking, and abstract interpretation (paris, 17-19 january 2005) 3 Treffer
- 0cav 2006 2 Treffer
- computer aided verification (18th international conference, cav 2006, seattle, wa, usa, august 17-20, 2006) 2 Treffer
-
38 weitere Werte:
- international journal on software tools for technology transfer (print) 2 Treffer
- tacas 2005 : tools and algorithms for the construction and analysis of systems (edinburgh, 4-8 april 2005) 2 Treffer
- 0apweb 2006 1 Treffer
- 0esop 2006 1 Treffer
- 0icfem 2005 1 Treffer
- 0ifm 2005 1 Treffer
- 0tgc 2005 1 Treffer
- automated technology for verification and analysis (third international symposium, atva 2005, taipei, taiwan, october 4-7, 2005, proceedings) 1 Treffer
- avta 2004 : automated technology for verification and analysis (taipei, 31 october - 3 november 2004) 1 Treffer
- cav 2002 : computer aided verification (copenhagen, 27-31 july 2002) 1 Treffer
- cav 2003 : computer aided verification (boulder co, 8-12 july 2003) 1 Treffer
- cav 2004 : computer aided verification (boston ma, 13-17 july 2004) 1 Treffer
- cc 2005 : compiler construction (edinburgh, 4-8 april 2005) 1 Treffer
- concur 2004 : concurrency theory (london, 31 august - 3 september 2004) 1 Treffer
- emsoft 2001 : embedded software (tahoe city ca, 8-10 october 2001) 1 Treffer
- fase 2004 : fundamental approaches to software engineering (barcelona, 29 march - 2 april 2004) 1 Treffer
- fme 2002 : formal methods - getting it right (copenhagen, 22-24 july 2002) 1 Treffer
- formal aspects of computing 1 Treffer
- formal methods and software engineering (7th international conference on formal engineering methods, icfem 2005, manchester, uk, november 1-4, 2005) 1 Treffer
- formal methods at the crossroads : from panacea to foundational support (lisbon, 18-20 march 2002) 1 Treffer
- frontiers of www research and development (apweb 2006) 1 Treffer
- generative programming and component engineering (4th international conference, gpce 2005, tallinn, estonia, september 29 - october 1, 2005, proceedings) 1 Treffer
- ifm 2004 : integrated formal methods (canterbury, 4-7 april 2004) 1 Treffer
- integrated formal methods 1 Treffer
- integrated formal methods (5th international conference, ifm 2005) 1 Treffer
- isss 2002 : software security - theories and systems (tokyo, 8-10 november 2002, revised papers) 1 Treffer
- journal of supercomputing 1 Treffer
- lpar 2002 : logic for programming, artificial intelligence, and reasoning (tbilisi, 14-18 october 2002) 1 Treffer
- programming languages and systems (15th european symposium on programming, esop 2006, held as part of the joint european conferences on theory and practice of software, etaps 2006, vienna, austria, march 27-28, 2006) 1 Treffer
- sas 2000 : static analysis (santa barbara ca, 29 june - 1 july 2000) 1 Treffer
- sas 2003 : state analysis (san diego ca, 11-13 june 2003) 1 Treffer
- software security - theories and systems (tokyo, 4-6 november 2003, revised papers) 1 Treffer
- special section on hvc 2008 1 Treffer
- special section on vmcai 2009 1 Treffer
- testcom 2005 : testing of communicating systems (montreal, 31 may - 2 june 2005) 1 Treffer
- theoretical and practical aspects of spin model checking (trento, 5 july 1999 ; toulouse, 21-24 september 1999) 1 Treffer
- trustworthy global computing (international symposium, tgc 2005, edinburgh, uk, april 7-9, 2005) 1 Treffer
- vmcai 2004 : verification, model checking, and abstract interpretation (venice, 11-13 january 2004) 1 Treffer
Sprache
43 Treffer
-
In: TestCom 2005 : testing of communicating systems (Montreal, 31 May - 2 June 2005), 2005, S. 40-55KonferenzZugriff:
-
In: Formal methods and software engineering (7th international conference on formal engineering methods, ICFEM 2005, Manchester, UK, November 1-4, 2005), 2005, S. 235-250KonferenzZugriff:
-
In: CAV 2005 : computer aided verification (Edinburgh, 6-10 July 2005), 2005, S. 153-157KonferenzZugriff:
-
In: CAV 2005 : computer aided verification (Edinburgh, 6-10 July 2005), 2005, S. 139-143KonferenzZugriff:
-
In: VMCAI 2004 : verification, model checking, and abstract interpretation (Venice, 11-13 January 2004), 2004, S. 191-210KonferenzZugriff:
-
In: Special Section on VMCAI 2009, Jg. 13 (2011), Heft 6, S. 495-518Online academicJournalZugriff:
-
In: Programming languages and systems (15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006), 2006, S. 246-263KonferenzZugriff:
-
In: TACAS 2005 : tools and algorithms for the construction and analysis of systems (Edinburgh, 4-8 April 2005), 2005, S. 461-476KonferenzZugriff:
-
In: VMCAI 2005 : verification, model checking, and abstract interpretation (Paris, 17-19 January 2005), 2005, S. 363-379KonferenzZugriff:
-
In: AVTA 2004 : automated technology for verification and analysis (Taipei, 31 October - 3 November 2004), 2004, S. 20-33KonferenzZugriff:
-
In: ISSS 2002 : software security - theories and systems (Tokyo, 8-10 November 2002, revised papers), 2003, S. 217-233KonferenzZugriff:
-
In: EMSOFT 2001 : embedded software (Tahoe City CA, 8-10 October 2001), 2001, S. 97-113KonferenzZugriff:
-
In: Journal of supercomputing, Jg. 53 (2010), Heft 3, S. 394-410Online academicJournalZugriff:
-
In: Computer aided verification (18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006), 2006, S. 286-299KonferenzZugriff:
-
In: Frontiers of WWW research and development (APWeb 2006), 2006, S. 937-942KonferenzZugriff:
-
In: Computer aided verification (18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006), 2006, S. 386-400KonferenzZugriff:
-
In: VMCAI 2005 : verification, model checking, and abstract interpretation (Paris, 17-19 January 2005), 2005, S. 130-145KonferenzZugriff:
-
In: Generative programming and component engineering (4th international conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, S. 309-326KonferenzZugriff:
-
In: Integrated formal methods (5th international conference, IFM 2005), 2005, S. 20-32KonferenzZugriff:
-
In: CAV 2005 : computer aided verification (Edinburgh, 6-10 July 2005), 2005, S. 505-518KonferenzZugriff: