Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 10 Treffer
- proof assistant 7 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 5 Treffer
- [info]computer science [cs] 5 Treffer
- acm: d.: software 5 Treffer
-
45 weitere Werte:
- acm: d.: software/d.1: programming techniques 5 Treffer
- acm: d.: software/d.2: software engineering 5 Treffer
- acm: d.: software/d.3: programming languages 5 Treffer
- acm: d.: software/d.3: programming languages/d.3.1: formal definitions and theory/d.3.1.0: semantics 5 Treffer
- artificial intelligence 5 Treffer
- c (programming language) 5 Treffer
- composition 5 Treffer
- concurrency 5 Treffer
- deductive verification 5 Treffer
- formal methods 5 Treffer
- frama-c 5 Treffer
- interactive proof 5 Treffer
- interactive proofs 5 Treffer
- mde 5 Treffer
- mof 5 Treffer
- software reliability 5 Treffer
- specification 5 Treffer
- specifications 5 Treffer
- theorem proving 5 Treffer
- verification 5 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 4 Treffer
- cloud hypervisor 2 Treffer
- interactive theorem proving 2 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- [math.math-gr]mathematics [math]/group theory [math.gr] 1 Treffer
- 01 natural sciences 1 Treffer
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
- 02 engineering and technology 1 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 1 Treffer
- 020207 software engineering 1 Treffer
- algebra 1 Treffer
- analytic proof 1 Treffer
- android 1 Treffer
- byzantine faults 1 Treffer
- compression 1 Treffer
- computer-assisted proof 1 Treffer
- constructive proof 1 Treffer
- discrete mathematics 1 Treffer
- distributed systems 1 Treffer
- isabelle/hol 1 Treffer
- mathematical proof 1 Treffer
- mathematics 1 Treffer
- operational semantics 1 Treffer
- program extraction 1 Treffer
Publikation
- issn: 0934-5043 9 Treffer
- lecture notes in computer science 6 Treffer
- fmics 2015 - formal methods for industrial critical systems ; https://cea.hal.science/cea-01834977 ; fmics 2015 - formal methods for industrial critical systems, jun 2015, oslo, norway. pp.15-30, ⟨10.1007/978-3-319-19458-5_2⟩ 2 Treffer
- computational science and its applications - iccsa 2019 - 19th international conference, 2019, proceedings 1 Treffer
- fm 2016: formal methods - 21st international symposium, proceedings 1 Treffer
-
4 weitere Werte:
- programming languages and systems - 27th european symposium on programming, esop 2018, held as part of the european joint conferences on theory and practice of software, etaps 2018, proceedings 1 Treffer
- theorem proving in higher order logics - 10th international conference, tphols 1997, proceedings 1 Treffer
- theorem proving in higher order logics - 15th international conference, tphols 2002, proceedings 1 Treffer
- theoretical aspects of computing - ictac 2015 - 12th international colloquium, proceedings 1 Treffer
Sprache
Geographischer Bezug
11 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
In: ISSN: 0934-5043, 2020academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
2013Online KonferenzZugriff:
-
In: FMICS 2015 - Formal Methods for Industrial Critical Systems ; https://cea.hal.science/cea-01834977 ; FMICS 2015 - Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.15-30, ⟨10.1007/978-3-319-19458-5_2⟩, 2015Online KonferenzZugriff:
-
In: ISSN: 0934-5043, 2016academicJournalZugriff: