Koleksi

Advanced Search
Bundel Jurnal ACM Transactions on Software Engineering and Methodology : Editorial / Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software / Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL / Neural Network-based Detection of Self-Admitted Technical Debt: From Performance to Explainability / Verifying and Quantifying Side-channel Resistance of Masked Software Implementations / Developing and Evaluating Objective Termination Criteria for Random Testing / Efficient Verification of Concurrent Systems Using Synchronisation Analysis and SAT/SMT Solving

Bundel Jurnal ACM Transactions on Software Engineering and Methodology : Editorial / Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software / Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL / Neural Network-based Detection of Self-Admitted Technical Debt: From Performance to Explainability / Verifying and Quantifying Side-channel Resistance of Masked Software Implementations / Developing and Evaluating Objective Termination Criteria for Random Testing / Efficient Verification of Concurrent Systems Using Synchronisation Analysis and SAT/SMT Solving

Detail CantumanCite

Hasil Pencarian

Ditemukan 1 dari pencarian Anda melalui kata kunci: Author : "P. Antonino ; T. Gibson-Robinson ; A. W. Roscoe"
Permintaan membutuhkan 1.14616 detik untuk selesai

Informasi

Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog