Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- ascenseur 1 Treffer
- ascensor 1 Treffer
- busca dato 1 Treffer
- clasificacion jerarquizada 1 Treffer
- classification hierarchique 1 Treffer
-
45 weitere Werte:
- computer systems performance. reliability 1 Treffer
- data mining 1 Treffer
- defaut 1 Treffer
- defect 1 Treffer
- defecto 1 Treffer
- distributed system 1 Treffer
- error handling 1 Treffer
- especificacion formal 1 Treffer
- fiabilidad 1 Treffer
- fiabilite 1 Treffer
- filtering 1 Treffer
- filtrado 1 Treffer
- filtrage 1 Treffer
- formal method 1 Treffer
- formal specification 1 Treffer
- fouille donnee 1 Treffer
- genie logiciel 1 Treffer
- gestion des memoires et des fichiers (y compris la protection et la securite des fichiers) 1 Treffer
- hierarchical classification 1 Treffer
- information use 1 Treffer
- java language 1 Treffer
- langage java 1 Treffer
- lenguaje java 1 Treffer
- logica temporal 1 Treffer
- logique temporelle 1 Treffer
- memory and file management (including protection and security) 1 Treffer
- memory organisation. data processing 1 Treffer
- methode formelle 1 Treffer
- metodo formal 1 Treffer
- operating system 1 Treffer
- organisation des memoires. traitement des donnees 1 Treffer
- passenger lift 1 Treffer
- performances des systemes informatiques. fiabilite 1 Treffer
- reactive system 1 Treffer
- reliability 1 Treffer
- sistema operativo 1 Treffer
- sistema reactivo 1 Treffer
- sistema repartido 1 Treffer
- software engineering 1 Treffer
- specification formelle 1 Treffer
- systeme exploitation 1 Treffer
- systeme reactif 1 Treffer
- systeme reparti 1 Treffer
- temporal logic 1 Treffer
- traitement erreur 1 Treffer
Publikation
Sprache
2 Treffer
-
In: TACAS 2005 : tools and algorithms for the construction and analysis of systems (Edinburgh, 4-8 April 2005), 2005, S. 461-476KonferenzZugriff:
-
In: Software security - theories and systems (Tokyo, 4-6 November 2003, revised papers), 2004, S. 154-173KonferenzZugriff: