Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 76 Treffer
- Ambrose Digital 20 Treffer
- Beeld en Geluid op school 20 Treffer
- DieselNet Technology Guide 20 Treffer
- Europeana 20 Treffer
-
16 weitere Werte:
- Films on Demand 20 Treffer
- Index New Zealand 20 Treffer
- McGraw-Hill Medical 20 Treffer
- Networked Digital Library of Theses & Dissertations 20 Treffer
- Torrossa 20 Treffer
- OpenDissertations 8 Treffer
- BrillOnline Primary Source 2 Treffer
- British Library EThOS 2 Treffer
- Classiques Garnier Numerique: Patrologia Graeca 2 Treffer
- First Research 2 Treffer
- ICPSR Data Archive 2 Treffer
- McGraw-Hill eBook Library 2 Treffer
- Orlando: Women's Writing in the British Isles, from the Beginnings to the Present 2 Treffer
- SAGE Business Researcher 2 Treffer
- BazTech 2 Treffer
- Complementary Index 1 Treffer
Art der Quelle
Schlagwort
- verification formelle 30 Treffer
- model checking 13 Treffer
- formalni verifikace 8 Treffer
- static analysis 7 Treffer
- coq 6 Treffer
-
45 weitere Werte:
- cryptography 6 Treffer
- embedded systems 6 Treffer
- ingenierie dirigee par les modeles 6 Treffer
- interpretation 6 Treffer
- java 6 Treffer
- model-driven engineering 6 Treffer
- software testing 6 Treffer
- staticka analyza 6 Treffer
- systemes embarques 6 Treffer
- theorem proving 6 Treffer
- bmc 5 Treffer
- computer science 5 Treffer
- test generation 5 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 4 Treffer
- [spi.nano]engineering sciences [physics]/micro and nanotechnologies/microelectronics 4 Treffer
- algebres de processus 4 Treffer
- assertions 4 Treffer
- bounded model checking 4 Treffer
- compcert 4 Treffer
- formal specification 4 Treffer
- generation de tests 4 Treffer
- methodologies 4 Treffer
- outils 4 Treffer
- process algebra 4 Treffer
- processor 4 Treffer
- sat solver 4 Treffer
- satisfiability 4 Treffer
- security 4 Treffer
- specification formelle 4 Treffer
- sva 4 Treffer
- system-on-chip 4 Treffer
- tools 4 Treffer
- uvm 4 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 3 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 3 Treffer
- atomicity violation 3 Treffer
- atpg 3 Treffer
- bugs 3 Treffer
- capability systems 3 Treffer
- cheri 3 Treffer
- computer architecture 3 Treffer
- computer storage devices 3 Treffer
- data processing 3 Treffer
- detector 3 Treffer
- detektor 3 Treffer
Verlag
- hal ccsd 18 Treffer
- georgia institute of technology 8 Treffer
- virginia tech 8 Treffer
- vysoke uceni technicke v brne. fakulta informacnich technologii 8 Treffer
- north dakota state university 4 Treffer
-
32 weitere Werte:
- brasil 2 Treffer
- fachbereich 03: mathematik/informatik (fb 03) 2 Treffer
- kth, skolan for elektroteknik och datavetenskap (eecs) 2 Treffer
- ufam 2 Treffer
- universidade federal do amazonas 2 Treffer
- universitat bremen 2 Treffer
- university of cambridge 2 Treffer
- university of oxford 2 Treffer
- university of waterloo 2 Treffer
- apollo - university of cambridge repository 1 Treffer
- auckland university of technology 1 Treffer
- biblioteca digitais de teses e dissertacoes da usp 1 Treffer
- br 1 Treffer
- country:italy 1 Treffer
- engenharia eletrica 1 Treffer
- escholarship, university of california 1 Treffer
- faculdade de tecnologia 1 Treffer
- instituto de computa????o 1 Treffer
- johns hopkins university 1 Treffer
- kit-bibliothek, karlsruhe 1 Treffer
- politecnico di torino 1 Treffer
- programa de p??s-gradua????o em inform??tica 1 Treffer
- programa de pos-graduacao em engenharia eletrica 1 Treffer
- springer nature 1 Treffer
- the ohio state university / ohiolink 1 Treffer
- universidade de sao paulo 1 Treffer
- universitat politecnica de catalunya 1 Treffer
- universitat tubingen 1 Treffer
- usa 1 Treffer
- usp 1 Treffer
- wien 1 Treffer
- 서울대학교 대학원 1 Treffer
Publikation
Sprache
107 Treffer
-
2010HochschulschriftZugriff:
-
In: VYVIAL, P. Statická detekce častých chyb JBoss aplikačního serveru [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2010, 2010Online HochschulschriftZugriff:
-
2021Online HochschulschriftZugriff:
-
2022Online HochschulschriftZugriff:
-
2024Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-03987749 ; Other [cs.OH]. École normale supérieure de Rennes, 2022. English. ⟨NNT : 2022ENSR0038⟩, 2022Online HochschulschriftZugriff:
-
In: https://inria.hal.science/tel-03981965 ; Cryptography and Security [cs.CR]. Paris Sciences et Lettres, 2022. English. ⟨NNT : ⟩, 2022Online HochschulschriftZugriff:
-
2018Online HochschulschriftZugriff:
-
In: https://hal.archives-ouvertes.fr/tel-03326923 ; Programming Languages [cs.PL]. Université Grenoble Alpes, 2021. English, 2021Online HochschulschriftZugriff:
-
2019Online HochschulschriftZugriff:
-
In: Formal Methods & Software Engineering (9783540474609); (2006) S. 697-716BuchZugriff:
-
2021HochschulschriftZugriff: