( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Coverage Metrics for Functional Validation of Hardware Designs.

, и . IEEE Des. Test Comput., 18 (4): 36-45 (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Serdar Altay

Serdar Durdagi

Serdar Sel

Serdar Özdil

Serdar Deger

 

Другие публикации лиц с тем же именем

Fast Monte Carlo Estimation of Timing Yield With Importance Sampling and Transistor-Level Circuit Simulation., , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 29 (9): 1328-1341 (2010)Code-level model checking in the software development workflow at Amazon Web Services., , , , , , , , , и . Softw. Pract. Exp., 51 (4): 772-797 (2021)Fast Monte Carlo Estimation of Timing Yield: Importance Sampling with Stochastic Logical Effort (ISLE), , и . CoRR, (2008)VyrdMC: Driving Runtime Refinement Checking with Model Checkers., и . RV@CAV, том 144 из Electronic Notes in Theoretical Computer Science, стр. 41-56. Elsevier, (2005)Model Checking Boot Code from AWS Data Centers., , , , , и . CAV (2), том 10982 из Lecture Notes in Computer Science, стр. 467-486. Springer, (2018)Continuous Compliance., , , и . ASE, стр. 511-523. IEEE, (2020)A Machine-Checked Proof of Security for AWS Key Management Service., , , , , , , , , и . CCS, стр. 63-78. ACM, (2019)Towards verifying eventually consistent applications., , и . PaPEC@EuroSys, стр. 11:1-11:4. ACM, (2014)TreeJuxtaposer: scalable tree comparison using Focus+Context with guaranteed visibility., , , , и . ACM Trans. Graph., 22 (3): 453-462 (2003)Model checking boot code from AWS data centers., , , , , и . Formal Methods Syst. Des., 57 (1): 34-52 (2021)