-
1
المؤلفون: Juhasz, Uri
المساهمون: Gurfinkel, Arie, Müller, Peter
مصطلحات موضوعية: DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ), Data processing, computer science, VERIFICATION (SOFTWARE ENGINEERING), KORREKTHEIT (THEORIE DER PROGRAMMIERUNG), CORRECTNESS (THEORY OF PROGRAMMING), DEDUCTION + THEOREM PROVING (ARTIFICIAL INTELLIGENCE), ddc:004, VERIFIKATION (SOFTWARE ENGINEERING)
وصف الملف: application/application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5519927ed2e861de8ae8f335d4671fc1
-
2
المؤلفون: David Basin, Christoph Sprenger
المصدر: Technical Report, 736
2012 IEEE 25th Computer Security Foundations Symposium (CSF)
CSFمصطلحات موضوعية: REFINEMENT (SOFTWARE ENGINEERING), KORREKTHEIT (THEORIE DER PROGRAMMIERUNG), Computer science, computer.internet_protocol, Cryptography, Encryption, Computer security, computer.software_genre, GeneralLiterature_MISCELLANEOUS, NETWORK PROTOCOLS + COMMUNICATION PROTOCOLS (COMPUTER SYSTEMS), NETZWERKPROTOKOLLE + KOMMUNIKATIONSPROTOKOLLE (COMPUTERSYSTEME), CORRECTNESS (THEORY OF PROGRAMMING), VERFEINERUNG (SOFTWARE ENGINEERING), Data processing, computer science, PUBLIC-KEY CRYPTOSYSTEMS (CRYPTOGRAPHY), FOS: Mathematics, ddc:510, Guard (information security), DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ), business.industry, ComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKS, TheoryofComputation_GENERAL, Top-down and bottom-up design, DEDUCTION + THEOREM PROVING (ARTIFICIAL INTELLIGENCE), Cryptographic protocol, Data structure, Automated theorem proving, ComputerApplications_GENERAL, ÖFFENTLICHE VERSCHLÜSSELUNGSSYSTEME (KRYPTOGRAPHIE), Kerberos, ddc:004, business, computer, Mathematics
وصف الملف: application/application/pdf
-
3
المؤلفون: Röder, Jann
مصطلحات موضوعية: DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ), Data processing, computer science, SPECIFICATION LANGUAGES (SOFTWARE ENGINEERING), SPEZIELLE PROGRAMMIERMETHODEN, SPECIAL PROGRAMMING METHODS, SPEZIFIKATIONSSPRACHEN (SOFTWARE ENGINEERING), DEDUCTION + THEOREM PROVING (ARTIFICIAL INTELLIGENCE)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::633a0b3eab73c532419a78b4a4ade4a9
-
4
المؤلفون: Kägi, Andreas, Lehner, Hermann, Müller, Peter
المصدر: Technical report, 714
مصطلحات موضوعية: SEMANTIK VON PROGRAMMIERSPRACHEN + SYNTAX VON PROGRAMMIERSPRACHEN, DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ), SEMANTICS OF PROGRAMMING LANGUAGES + SYNTAX OF PROGRAMMING LANGUAGES, Data processing, computer science, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, SPECIFICATION LANGUAGES (SOFTWARE ENGINEERING), TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, SPEZIFIKATIONSSPRACHEN (SOFTWARE ENGINEERING), DEDUCTION + THEOREM PROVING (ARTIFICIAL INTELLIGENCE), ddc:004
وصف الملف: application/application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dfa544c5f13531fb8698fad78d81bc68
-
5
المؤلفون: Mehta, Farhad Dinshaw
المساهمون: Müller, Peter, Abrial, Jean-Raymond
مصطلحات موضوعية: DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ), Data processing, computer science, DEDUCTION + THEOREM PROVING (ARTIFICIAL INTELLIGENCE), SYSTEMS ANALYSIS + SYSTEMS DEVELOPMENT + SYSTEMS DESIGN (COMPUTER SYSTEMS), SOFTWARE ENGINEERING, SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME), ddc:004
وصف الملف: application/application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6f2603a683ae8d5a3689ab61ebbcb033
-
6
المؤلفون: Brucker, Achim D., Wolff, Burkhart
المصدر: Technical Report / ETH Zurich, Department of Computer Science, 525
مصطلحات موضوعية: DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ), SPECIALIZED REFERENCE WORKS + SPECIALIZED ENCYCLOPAEDIAS + HANDBOOKS (DOCUMENT TYPE), Data processing, computer science, FACHLICHE NACHSCHLAGEWERKE + FACHLEXIKA + HANDBÜCHER (DOKUMENTENTYP), UML, UNIFIED MODELLING LANGUAGE (SOFTWARE ENGINEERING), DEDUCTION + THEOREM PROVING (ARTIFICIAL INTELLIGENCE), ddc:004
وصف الملف: application/application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8fc75ecdff9d6d8b171a2956ec151aae
-
7
المؤلفون: Byron Cook, Natasha Sharygina, Daniel Kroening
المصدر: Scopus-Elsevier
Technical report, 473
Leveraging Applications of Formal Methods ISBN: 9783540489283
ISoLAمصطلحات موضوعية: DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ), Theoretical computer science, Programming language, Computer science, Symbolic simulation, DEDUCTION + THEOREM PROVING (ARTIFICIAL INTELLIGENCE), Gas meter prover, computer.software_genre, Formal methods, Propositional calculus, Automated theorem proving, VERIFICATION (SOFTWARE ENGINEERING), VERIFIKATION (SOFTWARE ENGINEERING), Data processing, computer science, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Proof theory, Pointer (computer programming), TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, ddc:004, computer, Software verification
وصف الملف: application/application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1c432609b6461583226fe073ec0d551b