Resultats de la cerca - computational and refinement-based methodologies
Matèries dins de la cerca
Matèries dins de la cerca
- Algorithms & data structures 2
- Artificial intelligence 2
- Computer System Implementation 2
- Computer-based diagnosis 2
- Control Structures and Microprogramming 2
- Deep Learning 2
- Expert systems / knowledge-based systems 2
- Image analysis 2
- Image processing 2
- Machine Learning 2
- Mathematical theory of computation 2
- Mathematics of Computing 2
- Maths for computer scientists 2
- Medical imaging 2
- Radiomics 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
-
-
Models of socio-cyber-physical systems security
Publicat 2025“…This makes it possible to ensure the continuity of critical business processes through a timely objective assessment of the level of security and the timely formation of preventive measures. This approach is based on the proposed rules for determining the reach of a given security level, based on assessments of the integrity, availability and confidentiality of information arrays, as well as computer equipment for different points of the organization's business processes. …”
Obtenir text complet
Online -
Ransomware Analysis
Publicat 2025“…The book presents a pioneering methodology that integrates CVE descriptions with ATT&CK frameworks, significantly refining the granularity of threat intelligence. …”
Obtenir text complet
Online -
-
-
PROCESSES AND CONTROL SYSTEMS: SYNTHESIS, MODELING, OPTIMIZATION
Publicat 2025Obtenir text complet
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Publicat 2021Matèries: “…compositional and refinement-based methodologies…”
Obtenir text complet
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Publicat 2021Matèries: “…compositional and refinement-based methodologies…”
Obtenir text complet
Online -