Результаты поиска - "formal method"
Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
- Software Engineering 23
- Computer science 22
- Artificial intelligence 21
- Systems analysis & design 12
- Mathematical theory of computation 10
- Algorithms & data structures 8
- Computer architecture & logic design 8
- Computer networking & communications 8
- Computer modelling & simulation 6
- Computer programming / software development 6
- Software testing & verification 6
- Software engineering 5
- Computer Engineering and Networks 4
- Computer engineering 4
- Computer networks 4
- Artificial Intelligence 3
- Philosophy 3
- Coding theory & cryptology 2
- Computer Modelling 2
- Computer simulation 2
- Computing & information technology 2
- Electronic data processing 2
- Expert systems / knowledge-based systems 2
- History of engineering & technology 2
- Humanities 2
- IT Operations 2
- Information technology industries 2
- Literary studies: fiction, novelists & prose writers 2
- Literary theory 2
- Management 2
-
21
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...
Опубликовано 2018Предметы: “...formal methods...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Электронный ресурс Глава книги -
22
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...
Опубликовано 2018Предметы: “...formal methods...”
DOAB: download the publication
DOAB: description of the publication
Электронный ресурс Глава книги -
23
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...
Опубликовано 2018Предметы: “...formal methods...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Электронный ресурс Глава книги -
24
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...
Опубликовано 2022Предметы: “...Formal methods and theory of security...”
DOAB: download the publication
DOAB: description of the publication
Электронный ресурс Глава книги -
25
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...
Опубликовано 2022Предметы: “...Formal methods and theory of security...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Электронный ресурс Глава книги -
26
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Опубликовано 2021Предметы: “...formal methods...”
DOAB: download the publication
DOAB: description of the publication
Электронный ресурс Глава книги -
27
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Опубликовано 2021Предметы: “...formal methods...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Электронный ресурс Глава книги -
28
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Опубликовано 2021Предметы: “...formal methods...”
DOAB: download the publication
DOAB: description of the publication
Электронный ресурс Глава книги -
29
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...
Опубликовано 2022Предметы: “...Formal methods and theory of security...”
DOAB: download the publication
DOAB: description of the publication
Электронный ресурс Глава книги -
30
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...
Опубликовано 2022Предметы: “...formal methods...”
DOAB: download the publication
DOAB: description of the publication
Электронный ресурс Глава книги -
31
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Опубликовано 2021Предметы: “...formal methods...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Электронный ресурс Глава книги -
32
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...
Опубликовано 2022Предметы: “...formal methods...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Электронный ресурс Глава книги -
33
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...
Опубликовано 2022Предметы: “...Formal methods and theory of security...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Электронный ресурс Глава книги -
34
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
Опубликовано 2020Предметы: “...formal methods...”
DOAB: download the publication
DOAB: description of the publication
Электронный ресурс Глава книги -
35
Evolutionary Algorithms in Intelligent Systems
Опубликовано 2020Предметы: “...formal methods in evolutionary algorithms...”
DOAB: download the publication
DOAB: description of the publication
Электронный ресурс Глава книги -
36
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
Опубликовано 2020Предметы: “...formal methods...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Электронный ресурс Глава книги -
37
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...
Опубликовано 2021Предметы: “...formal methods...”
DOAB: download the publication
DOAB: description of the publication
Электронный ресурс Глава книги -
38
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...
Опубликовано 2021Предметы: “...formal methods...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Электронный ресурс Глава книги -
39
Advancements in the Practical Applications of Agents, Multi-Agent Systems and Simulating Complex Systems
Опубликовано 2023Предметы: “...practical formal method...”
DOAB: download the publication
DOAB: description of the publication
Электронный ресурс Глава книги -
40
Feasible, Robust and Reliable Automation and Control for Autonomous Systems
Опубликовано 2022Предметы: “...formal methods...”
DOAB: download the publication
DOAB: description of the publication
Электронный ресурс Глава книги