( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification of Real Time Operating System Exception Management Based on SPARCv8.

, , , , и . J. Comput. Sci. Technol., 36 (6): 1367-1387 (2021)

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.

Yang Yang

Yang Yang

Yang Yang

Yang Yang

Yang Yang

 

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

Robustness of evolvable hardware in the case of fault and environmental change., и . ROBIO, стр. 1849-1852. IEEE, (2009)Formal modelling of list based dynamic memory allocators., , , , , , и . Sci. China Inf. Sci., 61 (12): 122103:1-122103:16 (2018)The stochastic semantics and verification for periodic control systems., , , , , и . Sci. China Inf. Sci., 55 (12): 2675-2693 (2012)Evolutionary Fault Tolerance Method Based on Virtual Reconfigurable Circuit With Neural Network Architecture., и . IEEE Trans. Evol. Comput., 22 (6): 949-960 (2018)FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain., , , , , , , , , и 1 other автор(ы). CoRR, (2023)A Two-Way Path Between Formal and Informal Design of Embedded Systems., , , , и . UTP, том 10134 из Lecture Notes in Computer Science, стр. 65-92. Springer, (2016)Cognitive Radio with Reinforcement Learning Applied to Multicast Downlink Transmission and Distributed Occupancy Detection., и . ICCCN, стр. 1-6. IEEE Computer Society, (2009)Cyber-physical Systems Modeling Method Based on Modelica., , , , , , и . SERE (Companion), стр. 188-191. IEEE, (2012)Static Data Race Detection for Interrupt-Driven Embedded Software., , , , и . SSIRI (Companion), стр. 47-52. IEEE Computer Society, (2011)Combining Formal and Informal Methods in the Design of Spacecrafts., и . SETSS, том 9506 из Lecture Notes in Computer Science, стр. 290-323. Springer, (2014)