Výsledky vyhledávání - "model checking"
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
- model checking 28
- formal logic 19
- embedded systems 17
- artificial intelligence 15
- software architecture 15
- software engineering 15
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering 14
- architecture verification and validation 13
- distributed computer systems 12
- software design 12
- software quality 12
- thema EDItEUR::U Computing and Information Technology::UY Computer science 11
- computer programming 10
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence 10
- Mathematical theory of computation 9
- formal methods 8
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation 8
- Computer science 7
- Theory of Computation 7
- automata theory 7
- linguistics 7
- mathematics 7
- programming languages 7
- thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications 7
- Algorithms & data structures 6
- Software Engineering 6
- computer systems 6
- formal languages 6
- semantics 6
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering 6
-
-
Business Model-the Perspective of Systems Thinking and Innovation
Vydáno 2023Témata: “…probabilistic model checking…”
Získat plný text
Online -
-
-
-
Chapter Concept for Enriching NISO-STS Standards with Machine-Readable Requirements and Validation Rules
Vydáno 2024Témata: “…Rule-based model checking…”
Získat plný text
Online -
New Frontiers in Parameterized Complexity and Algorithms
Vydáno 2024Témata: “…model checking…”
Získat plný text
Online -
-
-
Bridging the Gap Between AI and Reality
Vydáno 2025Témata: “…Model Checking…”
Získat plný text
Online -
-
-
Tools and Algorithms for the Construction and Analysis of Systems
Vydáno 2021Témata: “…model checking…”
Získat plný text
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Vydáno 2021Témata: “…model checking…”
Získat plný text
Online -
-
Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology
Vydáno 2021Témata: “…model checking…”
Získat plný text
Online -
New Developments in Statistical Information Theory Based on Entropy and Divergence Measures
Vydáno 2021Témata: “…model check…”
Získat plný text
Online