( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verifying hardware in its software context.

, , , , и . ICCAD, стр. 742-749. IEEE Computer Society / ACM, (1997)

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.

Franziska Levin

Peter Levin

Benjamin Levin

Claudia Levin

Christian Levin

 

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

Translating Software Designs for Model Checking., , , и . FASE, том 2984 из Lecture Notes in Computer Science, стр. 324-338. Springer, (2004)Verification of Message Sequence Charts via Template Matching., и . TAPSOFT, том 1214 из Lecture Notes in Computer Science, стр. 652-666. Springer, (1997)Thorough static analysis of device drivers., , , , , , , , и . EuroSys, стр. 73-85. ACM, (2006)Combining Software and Hardware Verification Techniques., , , , и . Formal Methods Syst. Des., 21 (3): 251-280 (2002)Model Checking for an Executable Subset of UML., , и . ASE, стр. 333-336. IEEE Computer Society, (2001)Sound Transaction-Based Reduction Without Cycle Detection., , , и . SPIN, том 3639 из Lecture Notes in Computer Science, стр. 106-122. Springer, (2005)Model Checking Büchi Pushdown Systems., , , и . FASE, том 6603 из Lecture Notes in Computer Science, стр. 141-155. Springer, (2011)Compressing Transitions for Model Checking., , и . CAV, том 2404 из Lecture Notes in Computer Science, стр. 569-581. Springer, (2002)Hazard-Freedom Checking in Speed-Independent Systems., , , и . CHARME, том 1703 из Lecture Notes in Computer Science, стр. 317-320. Springer, (1999)Static driver verifier, a formal verification tool for Windows device drivers.. MEMOCODE, стр. 151. IEEE Computer Society, (2004)