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 : "D. Reuling ; U. Kelter ; J. Burdek ; M. Lochau"
Permintaan membutuhkan 1.09843 detik untuk selesai

Informasi

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