Hakutulokset - "compositional and refinement-based methodologies"
Aihe-ehdotuksia
Aihe-ehdotuksia
- Algorithms & data structures 2
- Computer System Implementation 2
- Control Structures and Microprogramming 2
- Expert systems / knowledge-based systems 2
- Mathematical theory of computation 2
- Mathematics of Computing 2
- Maths for computer scientists 2
- SAT and SMT solving 2
- Special Purpose and Application-Based Systems 2
- Systems analysis & design 2
- abstraction techniques for modeling and verification 2
- architecting 2
- automata theory 2
- compositional and refinement-based methodologies 2
- embedded systems 2
- linguistics 2
- mathematics 2
- model checking 2
- open access 2
- software and hardware verification 2
- software architecture 2
- software design 2
- software engineering 2
- specification and verification techniques 2
- static and dynamic program analysis 2
- system construction and transformation techniques 2
- testing 2
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures 2
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation 2
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design 2
Tarkoititko:
- "compositional and refinement-based methodologies" »
-
Tools and Algorithms for the Construction and Analysis of Systems
Julkaistu 2021Aiheet: “…compositional and refinement-based methodologies…”
Hae kokoteksti
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Julkaistu 2021Aiheet: “…compositional and refinement-based methodologies…”
Hae kokoteksti
Online