Zoekresultaten - "Verification"
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
- Artificial intelligence 44
- Computer science 43
- Software Engineering 42
- Computer networking & communications 32
- Algorithms & data structures 24
- Computer programming / software development 22
- Mathematical theory of computation 22
- Technology: general issues 22
- History of engineering & technology 17
- Systems analysis & design 16
- Research & information: general 10
- Computer modelling & simulation 8
- Programming & scripting languages: general 8
- Computer architecture & logic design 6
- Software testing & verification 6
- Automotive technology & trades 4
- Coding theory & cryptology 4
- Computer hardware 4
- Electrical engineering 4
- Expert systems / knowledge-based systems 4
- Information technology: general issues 4
- Mathematical foundations 4
- Maths for engineers 4
- Mechanical engineering 4
- Natural language & machine translation 4
- Network hardware 4
- Biology, life sciences 3
- Information technology industries 3
- Circuits & components 2
- Computer security 2
-
61
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...
Gepubliceerd in 2018Onderwerpen: “…verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
62
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
Gepubliceerd in 2018Onderwerpen: “…verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
63
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Gepubliceerd in 2021Onderwerpen: “…verification and validation…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
64
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Gepubliceerd in 2021Onderwerpen: “…program verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
65
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Gepubliceerd in 2021Onderwerpen: “…verification and validation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
66
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Gepubliceerd in 2021Onderwerpen: “…program verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
67
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
Gepubliceerd in 2018Onderwerpen: “…verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
68
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...
Gepubliceerd in 2018Onderwerpen: “…verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
69
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
Gepubliceerd in 2018Onderwerpen: “…verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
70
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Gepubliceerd in 2023Onderwerpen: “…architecture verification and validation…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
71
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Gepubliceerd in 2023Onderwerpen: “…architecture verification and validation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
72
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...
Gepubliceerd in 2018Onderwerpen: “…verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
73
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...
Gepubliceerd in 2018Onderwerpen: “…verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
74
Electronic Voting 8th International Joint Conference, E-Vote-ID 2023, Luxembourg City, Luxembourg, October 3-6, 2023, Proceedings
Gepubliceerd in 2023Onderwerpen: “…Verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
75
Electronic Voting 8th International Joint Conference, E-Vote-ID 2023, Luxembourg City, Luxembourg, October 3-6, 2023, Proceedings
Gepubliceerd in 2023Onderwerpen: “…Verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
76
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Gepubliceerd in 2020Onderwerpen: “…verification and validation…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
77
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Gepubliceerd in 2020Onderwerpen: “…verification and validation…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
78
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Gepubliceerd in 2020Onderwerpen: “…verification and validation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
79
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Gepubliceerd in 2020Onderwerpen: “…verification and validation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
80
Seeing Human Rights Video Activism as a Proxy Profession
Gepubliceerd in 2021Onderwerpen: “…verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk