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
-
21
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Gepubliceerd in 2022Onderwerpen: “…verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
22
Jean-Roland Malet premier historien des finances de la monarchie française
Gepubliceerd in 1993Onderwerpen: “…vérification…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
23
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,...
Gepubliceerd in 2018Onderwerpen: “…program verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
24
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,...
Gepubliceerd in 2018Onderwerpen: “…program verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
25
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,...
Gepubliceerd in 2018Onderwerpen: “…program verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
26
Guaranteed Verification of Dynamic Systems
Gepubliceerd in 2022Onderwerpen: “…Verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
27
Guaranteed Verification of Dynamic Systems
Gepubliceerd in 2022Onderwerpen: “…Verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
28
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Gepubliceerd in 2023Onderwerpen: “…logic and verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
29
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Gepubliceerd in 2023Onderwerpen: “…logic and verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
30
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Gepubliceerd in 2023Onderwerpen: “…logic and verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
31
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Gepubliceerd in 2023Onderwerpen: “…logic and verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
32
Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2...
Gepubliceerd in 2018Onderwerpen: “…verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
33
Probabilistic Maneuver Recognition in Traffic Scenarios
Gepubliceerd in 2014Onderwerpen: “…Message Verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
34
Network Bioscience
Gepubliceerd in 2020Onderwerpen: “…hypothesis generation and verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
35
Network Bioscience, 2nd Edition
Gepubliceerd in 2020Onderwerpen: “…hypothesis generation and verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
36
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Gepubliceerd in 2022Onderwerpen: “…software and hardware verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
37
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Gepubliceerd in 2022Onderwerpen: “…software and hardware verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
38
Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Gepubliceerd in 2018Onderwerpen: “…verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
39
Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Gepubliceerd in 2018Onderwerpen: “…verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
40
Agents and Robots for Reliable Engineered Autonomy
Gepubliceerd in 2021Onderwerpen: “…formal verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk