Search Results - "Formal Methods"
Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 17
- Artificial intelligence 14
- Software Engineering 14
- Systems analysis & design 12
- Mathematical theory of computation 10
- Computer architecture & logic design 8
- Algorithms & data structures 6
- Computer modelling & simulation 6
- Computer programming / software development 6
- Software testing & verification 6
- Computer networking & communications 4
- Coding theory & cryptology 2
- Computing & information technology 2
- Expert systems / knowledge-based systems 2
- Information technology industries 2
- Natural language & machine translation 2
- Network hardware 2
- Operating systems 2
- History of engineering & technology 1
- Technology: general issues 1
-
21
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...
Published 2022Subjects: “…Formal methods and theory of security…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
22
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...
Published 2022Subjects: “…Formal methods and theory of security…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
23
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Published 2021Subjects: “…formal methods…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
24
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Published 2021Subjects: “…formal methods…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
25
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Published 2021Subjects: “…formal methods…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
26
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...
Published 2022Subjects: “…Formal methods and theory of security…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
27
Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2022Subjects: “…formal methods…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
28
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Published 2021Subjects: “…formal methods…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
29
Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2022Subjects: “…formal methods…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
30
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...
Published 2022Subjects: “…Formal methods and theory of security…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
31
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
Published 2020Subjects: “…formal methods…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
32
Evolutionary Algorithms in Intelligent Systems
Published 2020Subjects: “…formal methods in evolutionary algorithms…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
33
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
Published 2020Subjects: “…formal methods…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
34
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2021Subjects: “…formal methods…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
35
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2021Subjects: “…formal methods…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
36
Feasible, Robust and Reliable Automation and Control for Autonomous Systems
Published 2022Subjects: “…formal methods…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
37
Advancements in the Practical Applications of Agents, Multi-Agent Systems and Simulating Complex Systems
Published 2023Subjects: “…practical formal method…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter