Yazar
Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
Format:
Electronic Resources
Alıntı:
researchers and practitioners in the areas of verification, control, performance, and dependability evaluation
View Other Search Results
Yazar
Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441
Format:
Electronic Resources
Alıntı:
Control-Flow Temporal Logic -- FastCFI: Real-Time Control Flow Integrity using FPGA without Code
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: