Resultados da pesquisa - "software verification"
Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
- Software Engineering 34
- Artificial intelligence 29
- Computer science 18
- Computer networking & communications 14
- Software engineering 10
- Algorithms & data structures 8
- Computer modelling & simulation 8
- Computer programming / software development 8
- Mathematical theory of computation 8
- Artificial Intelligence 7
- Computer Engineering and Networks 6
- Computer engineering 6
- Computer networks 6
- Theory of Computation 6
- Computers 5
- Computer Science Logic and Foundations of Programming 4
- Computer hardware 4
- Computer Hardware 3
- Computer Modelling 3
- Computer simulation 3
- Computing Milieux 2
- Electronic digital computers 2
- Evaluation 2
- Formal Languages and Automata Theory 2
- Information technology: general issues 2
- Information theory 2
- Machine theory 2
- Programming & scripting languages: general 2
- System Performance and Evaluation 2
- Systems analysis & design 2
-
41
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Publicado em 2021Link to Metadata
Recurso Electrónico livro electrónico