Resultados da pesquisa - "specification and verification techniques"
Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
- software and hardware verification 5
- specification and verification techniques 5
- embedded systems 4
- static and dynamic program analysis 4
- system construction and transformation techniques 4
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures 4
- thema EDItEUR::U Computing and Information Technology::UY Computer science 4
- Algorithms & data structures 3
- Control Structures and Microprogramming 3
- Mathematical theory of computation 3
- SAT and SMT solving 3
- automata theory 3
- linguistics 3
- mathematics 3
- model checking 3
- software architecture 3
- software engineering 3
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering 3
- thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications 3
- Computer System Implementation 2
- Computer science 2
- Expert systems / knowledge-based systems 2
- Formal methods and theory of security 2
- Machine learning 2
- Mathematics of Computing 2
- Maths for computer scientists 2
- Modeling and simulation 2
- Semantics and reasoning 2
- Special Purpose and Application-Based Systems 2
- Symbolic and algebraic manipulation 2
-
Tools and Algorithms for the Construction and Analysis of Systems
Publicado em 2021Assuntos: “...specification and verification techniques...”
Obter o texto integral
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Publicado em 2021Assuntos: “...specification and verification techniques...”
Obter o texto integral
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Publicado em 2021Assuntos: “...specification and verification techniques...”
Obter o texto integral
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Publicado em 2022Assuntos: “...specification and verification techniques...”
Obter o texto integral
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Publicado em 2022Assuntos: “...specification and verification techniques...”
Obter o texto integral
Online