Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 53 Treffer
- Health Reference Center 29 Treffer
- Techniques de L'ingenieur 29 Treffer
- Sexual Health Visual 29 Treffer
- OpenAIRE 29 Treffer
-
33 weitere Werte:
- NASA Technical Reports 29 Treffer
- Music ID 29 Treffer
- Marketline Advantage 29 Treffer
- IEEE Xplore Digital Library 29 Treffer
- Emerald Insight 29 Treffer
- Economena Document Library 29 Treffer
- Classiques Garnier Numerique: Littérature Française et Francophone 29 Treffer
- Classiques Garnier Numerique: Dictionnaires, Grammaires et Encyclopédies 29 Treffer
- Sustainable Organization Library (SOL) 11 Treffer
- Ambrose Digital 11 Treffer
- Networked Digital Library of Theses & Dissertations 11 Treffer
- Torrossa 11 Treffer
- McGraw-Hill Medical 11 Treffer
- LearningExpress Library 11 Treffer
- Kotar Digital Library 11 Treffer
- Beeld en Geluid op school 11 Treffer
- DieselNet Technology Guide 11 Treffer
- Europeana 11 Treffer
- Films on Demand 11 Treffer
- Index New Zealand 11 Treffer
- Janes Chemical, Biological, Radiological & Nuclear Assessments (JCBRN) - Intelligence Centre 11 Treffer
- Janes Defence Equipment & Technology (JDET) - Air & Space 11 Treffer
- Janes Defence Equipment & Technology (JDET) - C4ISR & Mission Systems 11 Treffer
- Janes Defence Equipment & Technology (JDET) - News 11 Treffer
- Janes Defence Equipment & Technology (JDET) – Sea 11 Treffer
- Janes Defence Industry & Markets (JDIM) - Defense Industry 11 Treffer
- Janes Military & Security Assessments (JMSA) - Country Risk 11 Treffer
- Janes Military & Security Assessments (JMSA) - Military Capabilities 11 Treffer
- Janes Military & Security Assessments (JMSA) – News 11 Treffer
- Janes Terrorism & Insurgency Centre (JTIC) - Terrorism Events 11 Treffer
- Janes Defence Equipment & Technology (JDET) – Land 11 Treffer
- OpenDissertations 8 Treffer
- Complementary Index 2 Treffer
Art der Quelle
Schlagwort
- computing and processing 24 Treffer
- model checking 23 Treffer
- computer bugs 20 Treffer
- methodes formelles 16 Treffer
- communication, networking and broadcast technologies 15 Treffer
-
45 weitere Werte:
- security 11 Treffer
- components, circuits, devices and systems 9 Treffer
- computer science 8 Treffer
- verification 8 Treffer
- [info]computer science [cs] 7 Treffer
- runtime verification 7 Treffer
- signal processing and analysis 7 Treffer
- software 7 Treffer
- software verification 7 Treffer
- field programmable gate arrays 6 Treffer
- formal verification 6 Treffer
- hardware 6 Treffer
- safety 6 Treffer
- uas 6 Treffer
- game theory 5 Treffer
- software verification and validation 5 Treffer
- theorie des jeux 5 Treffer
- verification formelle 5 Treffer
- aerospace 4 Treffer
- blockchain 4 Treffer
- decision procedures 4 Treffer
- formal software verification 4 Treffer
- general topics for engineers 4 Treffer
- informatics 4 Treffer
- power, energy and industry applications 4 Treffer
- programming languages 4 Treffer
- robotics 4 Treffer
- robotics and control systems 4 Treffer
- runtime 4 Treffer
- safety and security 4 Treffer
- security and privacy 4 Treffer
- semantics 4 Treffer
- software and its engineering 4 Treffer
- software engineering 4 Treffer
- software testing 4 Treffer
- tools 4 Treffer
- uml 4 Treffer
- vulnerability analysis 4 Treffer
- abstract interpretation 3 Treffer
- analyse statique 3 Treffer
- assurance 3 Treffer
- automated testing 3 Treffer
- autonomy 3 Treffer
- drone 3 Treffer
- drone aircraft 3 Treffer
Verlag
- ieee 29 Treffer
- hal ccsd 17 Treffer
- virginia tech 6 Treffer
- acm 5 Treffer
- escholarship, university of california 3 Treffer
-
15 weitere Werte:
- georgia institute of technology 2 Treffer
- universite d'ottawa / university of ottawa 2 Treffer
- association for computing machinery 1 Treffer
- country:ch 1 Treffer
- digital wpi 1 Treffer
- lipics - leibniz international proceedings in informatics. 36th international symposium on distributed computing (disc 2022) 1 Treffer
- oasics - openaccess series in informatics. 4th international workshop on formal methods for blockchains (fmbc 2022) 1 Treffer
- place:cham 1 Treffer
- springer 1 Treffer
- sri international 1 Treffer
- switzerland 1 Treffer
- university of california, berkeley 1 Treffer
- university of cincinnati / ohiolink 1 Treffer
- university of waterloo 1 Treffer
- uppsala universitet, datorteknik 1 Treffer
Publikation
- theses.fr 3 Treffer
- the 37th acm/sigapp symposium on applied computing(sac ' 2 Treffer
- 2008 ieee international conference on services computing, services computing, 2008. scc '08. ieee international conference on 1 Treffer
- 2010 ieee 30th international conference on distributed computing systems, distributed computing systems (icdcs), 2010 ieee 30th international conference on 1 Treffer
- 2012 19th asia-pacific software engineering conference 1 Treffer
-
29 weitere Werte:
- 2012 19th asia-pacific software engineering conference, software engineering conference (apsec), 2012 19th asia-pacific 1 Treffer
- 2012 20th ieee international conference on network protocols (icnp) 1 Treffer
- 2012 20th ieee international conference on network protocols (icnp), network protocols (icnp), 2012 20th ieee international conference on 1 Treffer
- 2012 34th international conference on software engineering (icse), software engineering (icse), 2012 34th international conference on 1 Treffer
- 2013 14th latin american test workshop - latw, test workshop (latw), 2013 14th latin american 1 Treffer
- 2015 20th international conference on engineering of complex computer systems (iceccs), engineering of complex computer systems (iceccs), 2015 20th international conference on 1 Treffer
- 2015 ieee international conference on computer and information technology; ubiquitous computing and communications; dependable, autonomic and secure computing; pervasive intelligence and computing, computer and information technology; ubiquitous computing and communications; dependable, autonomic and secure computing; pervasive intelligence and computing (cit/iucc/dasc/picom), 2015 ieee international conference on 1 Treffer
- 2015 ieee symposium on security and privacy, security and privacy (sp), 2015 ieee symposium on 1 Treffer
- 2016 ieee 25th international conference on enabling technologies: infrastructure for collaborative enterprises (wetice), enabling technologies: infrastructure for collaborative enterprises (wetice), 2016 ieee 25th international conference on 1 Treffer
- 2017 14th international bhurban conference on applied sciences and technology (ibcast), applied sciences and technology (ibcast), 2017 14th international bhurban conference on 1 Treffer
- 2017 ieee 37th international conference on distributed computing systems (icdcs), distributed computing systems (icdcs), 2017 ieee 37th international conference on, icdcs 1 Treffer
- 2018 second ieee international conference on robotic computing (irc), robotic computing (irc), 2018 second ieee international conference on, irc 1 Treffer
- 2019 10th ifip international conference on new technologies, mobility and security (ntms), technologies, mobility and security (ntms), 2019 10th ifip international conference on new 1 Treffer
- 2019 49th annual ieee/ifip international conference on dependable systems and networks (dsn), dependable systems and networks (dsn), 2019 49th annual ieee/ifip international conference on, dsn 1 Treffer
- 2020 ieee 14th international workshop on software clones (iwsc), software clones (iwsc), 2020 ieee 14th international workshop on 1 Treffer
- 2021 14th ieee conference on software testing, verification and validation (icst), software testing, verification and validation (icst), 2021 14th ieee conference on, icst 1 Treffer
- 2021 2nd international conference for emerging technology (incet), emerging technology (incet),2021 2nd international conference for 1 Treffer
- 2021 ieee 32nd international symposium on software reliability engineering (issre), software reliability engineering (issre), 2021 ieee 32nd international symposium on, issre 1 Treffer
- 2021 ieee/acm 9th international conference on formal methods in software engineering (formalise), formal methods in software engineering (formalise), 2021 ieee/acm 9th international conference on, formalise 1 Treffer
- 2022 15th international conference on security of information and networks (sin), security of information and networks (sin), 2022 15th international conference on 1 Treffer
- 2022 ieee conference on software testing, verification and validation (icst), software testing, verification and validation (icst), 2022 ieee conference on, icst 1 Treffer
- 2022 ieee secure development conference (secdev), secure development conference (secdev), 2022 ieee, secdev 1 Treffer
- 2022 ieee security and privacy workshops (spw), security and privacy workshops (spw), 2022 ieee, spw 1 Treffer
- 2022 ieee/acm 10th international conference on formal methods in software engineering (formalise), formal methods in software engineering (formalise), 2022 ieee/acm 10th international conference on, formalise 1 Treffer
- 2023 ieee/acm 45th international conference on software engineering: software engineering in practice (icse-seip), software engineering: software engineering in practice (icse-seip), 2023 ieee/acm 45th international conference on, icse-seip 1 Treffer
- international conference on information technology: coding and computing (itcc'05) - volume ii, information technology: coding and computing, 2005. itcc 2005. international conference on, technology: coding and computing 1 Treffer
- masters theses (all theses, all years) 1 Treffer
- seventh international workshop on microprocessor test and verification (mtv'06), microprocessor test and verification, 2006. mtv '06. seventh international workshop on 1 Treffer
- the 16th asia-pacific network operations and management symposium, network operations and management symposium (apnoms), 2014 16th asia-pacific 1 Treffer
Sprache
Geographischer Bezug
103 Treffer
-
In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), 2023-05-01, S. 1-12Online KonferenzZugriff:
-
In: 2022 IEEE Secure Development Conference (SecDev), 2022-10-01, S. 52-58KonferenzZugriff:
-
In: 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE), 2022-05-01, S. 124-128Online KonferenzZugriff:
-
In: 2022 IEEE Security and Privacy Workshops (SPW), 2022-05-01, S. 176-197KonferenzZugriff:
-
In: 2021 2nd International Conference for Emerging Technology (INCET), 2021-05-21, S. 1-6KonferenzZugriff:
-
In: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), 2021-04-01, S. 229-240KonferenzZugriff:
-
In: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), 2022-04-01, S. 480-482KonferenzZugriff:
-
In: 2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE), 2021-10-01, S. 208-219KonferenzZugriff:
-
In: 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE), 2021-05-01, S. 124-129KonferenzZugriff:
-
In: 2020 IEEE 14th International Workshop on Software Clones (IWSC), 2020-02-01, S. 1-7KonferenzZugriff:
-
In: 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS), 2017-06-01, S. 2083-2088KonferenzZugriff:
-
In: 2015 IEEE Symposium on Security and Privacy, 2015-05-01, S. 535-552KonferenzZugriff:
-
In: 2015 IEEE International Conference on Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence, 2015-10-01, S. 648-655KonferenzZugriff:
-
In: The 16th Asia-Pacific Network Operations and Management Symposium, 2014-09-01, S. 1-6KonferenzZugriff:
-
In: 2012 19th Asia-Pacific Software Engineering Conference, Jg. 1 (2012-12-01), S. 174-183KonferenzZugriff:
-
In: 2012 34th International Conference on Software Engineering (ICSE), 2012-06-01, S. 1002-1011Online KonferenzZugriff:
-
In: 2010 IEEE 30th International Conference on Distributed Computing Systems, 2010-06-01, S. 398-407KonferenzZugriff:
-
2020Online HochschulschriftZugriff:
-
In: International Conference on Information Technology: Coding and Computing (ITCC'05) - Volume II, Jg. 2 (2005), S. 327-334KonferenzZugriff:
-
In: Seventh International Workshop on Microprocessor Test and Verification (MTV'06), 2006-12-01, S. 45KonferenzZugriff: