( en | de | ru )

 

Disambiguierung von "Yang, Mengfei"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Integration of Linear Constraints with a Temporal Logic Programming Language.

, , und . TASE, Seite 157-164. IEEE Computer Society, (2013)

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.

Yang Yang

Yang Yang

Yang Yang

Yang Yang

Yang Yang

 

Weitere Publikationen von Autoren mit dem selben Namen

Verification of Real Time Operating System Exception Management Based on SPARCv8., , , , und . J. Comput. Sci. Technol., 36 (6): 1367-1387 (2021)C-DMR: a cache-based fault-tolerant protection method for register file., , , , und . J. Supercomput., 79 (4): 4383-4397 (März 2023)Combining Formal and Informal Methods in the Design of Spacecrafts., und . SETSS, Volume 9506 von Lecture Notes in Computer Science, Seite 290-323. Springer, (2014)A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms., , , und . SETTA, Volume 11951 von Lecture Notes in Computer Science, Seite 72-88. Springer, (2019)Cognitive radio with reinforcement learning applied to heterogeneous multicast terrestrial communication systems., und . CrownCom, Seite 1-6. IEEE, (2009)Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander., , , , , , , , , und . RTAS, Seite 457-460. IEEE, (2021)Robustness of evolvable hardware in the case of fault and environmental change., und . ROBIO, Seite 1849-1852. IEEE, (2009)Formal modelling of list based dynamic memory allocators., , , , , , und . Sci. China Inf. Sci., 61 (12): 122103:1-122103:16 (2018)Evolutionary Fault Tolerance Method Based on Virtual Reconfigurable Circuit With Neural Network Architecture., und . IEEE Trans. Evol. Comput., 22 (6): 949-960 (2018)A Two-Way Path Between Formal and Informal Design of Embedded Systems., , , , und . UTP, Volume 10134 von Lecture Notes in Computer Science, Seite 65-92. Springer, (2016)