Søgeresultater - computational and refinement-based methodologies
Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
- 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
Udgivet 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. ...”
Få fuldtekst
Online -
Ransomware Analysis
Udgivet 2025“...The book presents a pioneering methodology that integrates CVE descriptions with ATT&CK frameworks, significantly refining the granularity of threat intelligence. ...”
Få fuldtekst
Online -
-
-
-
Tools and Algorithms for the Construction and Analysis of Systems
Udgivet 2021Fag: “...compositional and refinement-based methodologies...”
Få fuldtekst
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Udgivet 2021Fag: “...compositional and refinement-based methodologies...”
Få fuldtekst
Online -