( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SDLcheck: A Model Checking Tool.

, и . CAV, том 2102 из Lecture Notes in Computer Science, стр. 377. Springer, (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.

Franziska Levin

Claudia Levin

Peter Levin

Benjamin Levin

Levin Holle

 

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

Verification of Message Sequence Charts via Template Matching., и . TAPSOFT, том 1214 из Lecture Notes in Computer Science, стр. 652-666. Springer, (1997)Translating Software Designs for Model Checking., , , и . FASE, том 2984 из Lecture Notes in Computer Science, стр. 324-338. Springer, (2004)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)Sound Transaction-Based Reduction Without Cycle Detection., , , и . SPIN, том 3639 из Lecture Notes in Computer Science, стр. 106-122. Springer, (2005)Model Checking for an Executable Subset of UML., , и . ASE, стр. 333-336. IEEE Computer Society, (2001)Model Checking Büchi Pushdown Systems., , , и . FASE, том 6603 из Lecture Notes in Computer Science, стр. 141-155. Springer, (2011)SDLcheck: A Model Checking Tool., и . CAV, том 2102 из Lecture Notes in Computer Science, стр. 377. Springer, (2001)Lessons Learned from Model Checking a NASA Robot Controller., , , , и . Formal Methods Syst. Des., 25 (2-3): 241-270 (2004)Verifying hardware in its software context., , , , и . ICCAD, стр. 742-749. IEEE Computer Society / ACM, (1997)