Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- genie logiciel 3 Treffer
- model checking 3 Treffer
- software engineering 3 Treffer
- abstract interpretation 2 Treffer
- analisis programa 2 Treffer
-
45 weitere Werte:
- analyse programme 2 Treffer
- computer systems and distributed systems. user interface 2 Treffer
- concurrency 2 Treffer
- concurrent program 2 Treffer
- modeling 2 Treffer
- modelisation 2 Treffer
- modelizacion 2 Treffer
- program analysis 2 Treffer
- programa competidor 2 Treffer
- programme concurrent 2 Treffer
- safety 2 Treffer
- securite 2 Treffer
- seguridad 2 Treffer
- simultaneidad informatica 2 Treffer
- simultaneite informatique 2 Treffer
- systemes informatiques et systemes repartis. interface utilisateur 2 Treffer
- verificacion modelo 2 Treffer
- verification modele 2 Treffer
- abstraccion 1 Treffer
- abstraction 1 Treffer
- acces concurrent 1 Treffer
- acces contenu 1 Treffer
- acces multiple 1 Treffer
- acceso contenido 1 Treffer
- acceso multiple 1 Treffer
- acceso simultaneo 1 Treffer
- actualizacion 1 Treffer
- algebra proceso 1 Treffer
- algebre processus 1 Treffer
- algorithm analysis 1 Treffer
- allocation dynamique 1 Treffer
- analisis algoritmo 1 Treffer
- analyse algorithme 1 Treffer
- approche probabiliste 1 Treffer
- asequibilidad 1 Treffer
- asignacion dinamica 1 Treffer
- atomicity 1 Treffer
- atteignabilite 1 Treffer
- automata 1 Treffer
- automate 1 Treffer
- automation 1 Treffer
- automatisation 1 Treffer
- automatizacion 1 Treffer
- automaton 1 Treffer
- communicating process 1 Treffer
Publikation
- lecture notes in computer science 5 Treffer
- cav 2005 : computer aided verification (edinburgh, 6-10 july 2005) 2 Treffer
- 0ifm 2005 1 Treffer
- cc 2005 : compiler construction (edinburgh, 4-8 april 2005) 1 Treffer
- integrated formal methods (5th international conference, ifm 2005) 1 Treffer
-
4 weitere Werte:
- international journal on software tools for technology transfer (print) 1 Treffer
- special section on vmcai 2009 1 Treffer
- testcom 2005 : testing of communicating systems (montreal, 31 may - 2 june 2005) 1 Treffer
- vmcai 2004 : verification, model checking, and abstract interpretation (venice, 11-13 january 2004) 1 Treffer
Sprache
7 Treffer
-
In: TestCom 2005 : testing of communicating systems (Montreal, 31 May - 2 June 2005), 2005, S. 40-55KonferenzZugriff:
-
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: 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:
-
In: CAV 2005 : computer aided verification (Edinburgh, 6-10 July 2005), 2005, S. 449-461KonferenzZugriff:
-
In: CC 2005 : compiler construction (Edinburgh, 4-8 April 2005), 2005, S. 237-241KonferenzZugriff: