Personensuche
X
?
Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 2 ,
1
Support Patterns in Classrooms Implementing a Computer Scie..:
, In:
?
2023 1st International Conference on Health Science and Technology (ICHST) ,
2
VHCor: Vietnamese Healthcare Corpus-A Comprehensive Dataset..:
, In:
?
Laws on Corporate Social Responsibility and the Developmental Trend in Vietnam ,
3
The Role of Grassroots Trade Unions in Enforcing the Social..:
, In:
?
Texts in Theoretical Computer Science. An EATCS Series; Formal Methods for Software Engineering ,
4
Formal Verification of Security Protocols:
, In:
?
2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops) ,
5
A Hardware-based SoC Monitoring In-life Solution for Automo..:
, In:
?
NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium ,
6
Safety, Stability and Environmental Impact of FDI Attacks o..:
, In:
?
Studies in Big Data; Digital Transformation, Cyber Security and Resilience of Modern Societies ,
7
Automotive Cybersecurity Testing: Survey of Testbeds and Me..:
, In:
?
2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C) ,
8
Formalising UPTANE in CSP for Security Testing:
, In:
?
2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ,
9
A Model-Based Security Testing Approach for Automotive Over..:
, In:
?
Thermal Behaviour and Applications of Carbon-Based Nanomaterials ,
11
Advanced thermal properties of carbon-based aerogels:
, In:
?
Information Security Theory and Practice; Lecture Notes in Computer Science ,
12
A Template-Based Method for the Generation of Attack Trees:
, In:
?
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems ,
13
Probabilistic Resource-bounded Alternating-time Temporal Lo..:
, In:
?
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) ,
14
Attack Defense Trees with Sequential Conjunction:
, In:
?
Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs ,
15