Autor der Publikation

C Code Verification based on the Extended Labeled Transition System Model.

, , , , und . D&P@MoDELS, Volume 1725 von CEUR Workshop Proceedings, Seite 48-55. CEUR-WS.org, (2016)

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

Evaluation of Hybrid Si/SiC Three-Level Active Neutral-Point-Clamped Inverters., , , und . ISIE, Seite 840-845. IEEE, (2019)A comparison of reading comprehension across paper, computer screens, and tablets: Does tablet familiarity matter?, , , , und . Journal of Computers in Education, 1 (2-3): 213-225 (2014)Cooperation in the snowdrift game on directed small-world networks under self-questioning and noisy conditions., , , , und . Comput. Phys. Commun., 181 (12): 2057-2062 (2010)Which Defect Should Be Fixed First? Semantic Prioritization of Static Analysis Report., , , , und . SATE, Volume 11293 von Lecture Notes in Computer Science, Seite 3-19. Springer, (2018)Improved Safety-First A-Star Algorithm for Autonomous Vehicles., , und . ICARM, Seite 706-710. IEEE, (2020)Exploring blockchain technology and its potential applications for education., , , und . Smart Learn. Environ., 5 (1): 1 (2018)Multi-scale graph attention subspace clustering network., , , , , und . Neurocomputing, (2021)MoNet: Motion-based Point Cloud Prediction Network., , , , , und . CoRR, (2020)Globally Optimal Vertical Direction Estimation in Atlanta World., , und . IEEE Trans. Pattern Anal. Mach. Intell., 44 (4): 1949-1962 (2022)Dual-Stream Transformer for Generic Event Boundary Captioning., , , , , und . CoRR, (2022)