Resultats de la cerca - "system construction and transformation techniques"
Matèries dins de la cerca
Matèries dins de la cerca
- software and hardware verification 4
- specification and verification techniques 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
- embedded systems 3
- static and dynamic program analysis 3
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering 3
- thema EDItEUR::U Computing and Information Technology::UY Computer science 3
- Algorithms & data structures 2
- Computer System Implementation 2
- Control Structures and Microprogramming 2
- Expert systems / knowledge-based systems 2
- Formal methods and theory of security 2
- Machine learning 2
- Mathematical theory of computation 2
- Mathematics of Computing 2
- Maths for computer scientists 2
- Modeling and simulation 2
- SAT and SMT solving 2
- Semantics and reasoning 2
- Special Purpose and Application-Based Systems 2
- Symbolic and algebraic manipulation 2
- Systems analysis & design 2
- abstraction techniques for modeling and verification 2
- architecting 2
- automata theory 2
- compositional and refinement-based methodologies 2
- formal languages and automata theory 2
- linguistics 2
- mathematics 2
Alternatives de cerca:
- "system construction and transformation techniques" »
-
Tools and Algorithms for the Construction and Analysis of Systems
Publicat 2021Matèries: “…system construction and transformation techniques…”
Obtenir text complet
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Publicat 2021Matèries: “…system construction and transformation techniques…”
Obtenir text complet
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Publicat 2022Matèries: “…system construction and transformation techniques…”
Obtenir text complet
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Publicat 2022Matèries: “…system construction and transformation techniques…”
Obtenir text complet
Online