( en | de | ru )

 

Disambiguierung von "Levin, Vladimir"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Translating Software Designs for Model Checking.

, , , und . FASE, Volume 2984 von Lecture Notes in Computer Science, Seite 324-338. Springer, (2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Franziska Levin

Peter Levin

Benjamin Levin

Claudia Levin

Christian Levin

 

Weitere Publikationen von Autoren mit dem selben Namen

Verification of Message Sequence Charts via Template Matching., und . TAPSOFT, Volume 1214 von Lecture Notes in Computer Science, Seite 652-666. Springer, (1997)Translating Software Designs for Model Checking., , , und . FASE, Volume 2984 von Lecture Notes in Computer Science, Seite 324-338. Springer, (2004)Thorough static analysis of device drivers., , , , , , , , und . EuroSys, Seite 73-85. ACM, (2006)Combining Software and Hardware Verification Techniques., , , , und . Formal Methods Syst. Des., 21 (3): 251-280 (2002)Sound Transaction-Based Reduction Without Cycle Detection., , , und . SPIN, Volume 3639 von Lecture Notes in Computer Science, Seite 106-122. Springer, (2005)Model Checking for an Executable Subset of UML., , und . ASE, Seite 333-336. IEEE Computer Society, (2001)Model Checking Büchi Pushdown Systems., , , und . FASE, Volume 6603 von Lecture Notes in Computer Science, Seite 141-155. Springer, (2011)SDLcheck: A Model Checking Tool., und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 377. Springer, (2001)Lessons Learned from Model Checking a NASA Robot Controller., , , , und . Formal Methods Syst. Des., 25 (2-3): 241-270 (2004)Verifying hardware in its software context., , , , und . ICCAD, Seite 742-749. IEEE Computer Society / ACM, (1997)