Autor der Publikation

Establishing Linux Driver Verification Process.

, , , und . Ershov Memorial Conference, Volume 5947 von Lecture Notes in Computer Science, Seite 165-176. Springer, (2009)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Developmental Noise and Biological System Condition: Prolegomena., und . Symmetry, 14 (11): 2380 (November 2022)On the Model Checking of Sequential Reactive Systems., und . CS&P, Volume 1698 von CEUR Workshop Proceedings, Seite 233-244. CEUR-WS.org, (2016)Establishing Linux Driver Verification Process., , , und . Ershov Memorial Conference, Volume 5947 von Lecture Notes in Computer Science, Seite 165-176. Springer, (2009)Phenotypic Variation in a Species Range: Another Look (Developmental Stability Study of the Meristic Variation in the Sand Lizard Lacerta agilis)., , und . Symmetry, 14 (11): 2426 (November 2022)Transparent integration of a real-time collision safety system to a motor control chain of a service robot., , und . TePRA, Seite 1-6. IEEE, (2015)Об автоматической рубрикации терминов тезауруса открытой информационно-аналитической системы (On the Automatic Structuring of the Thesaurus for an Open Information-Analytical System)., , , und . RCDL, Volume 1297 von CEUR Workshop Proceedings, Seite 75-80. CEUR-WS.org, (2014)Fluctuating Asymmetry, Developmental Noise and Developmental Stability: Future Prospects for the Population Developmental Biology Approach., , und . Symmetry, 12 (8): 1376 (2020)Fluctuating Asymmetry and Population Dynamics of the Common Shrew, Sorex araneus, in Central Siberia under Climate Change Conditions., , und . Symmetry, 12 (12): 1960 (2020)Universality of Sea Wave Growth and Its Physical Roots, , , und . (26.11.2014)On the Equivalence Problem for Programs with Mode Switching., , und . CIAA, Volume 3845 von Lecture Notes in Computer Science, Seite 351-352. Springer, (2005)