( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Derivation of Parallel and Resilient Programs from Simulink Models.

, , и . PDP, стр. 416-420. IEEE Computer Society, (2015)

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.

Evgeny Ostroumov

Sergey Stepanov

Sergey Gorbunov

Sergey Libert

Sergey Geyn

 

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

Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms., и . Int. J. Embed. Real Time Commun. Syst., 3 (2): 40-72 (2012)Using Scrum to Develop a Formal Model - An Experience Report., , и . PROFES, том 10027 из Lecture Notes in Computer Science, стр. 621-626. (2016)Derivation of Parallel and Resilient Programs from Simulink Models., , и . PDP, стр. 416-420. IEEE Computer Society, (2015)Generation of Structural VHDL Code with Library Components from Formal Event-B Models., , , и . DSD, стр. 111-118. IEEE Computer Society, (2013)To Agile or not to Agile Students (With a Twist): Experience Report from a Student Project Course., , и . SEAA, стр. 83-87. IEEE Computer Society, (2017)Formal approach to agent-based dynamic reconfiguration in Networks-On-Chip., , , и . J. Syst. Archit., 59 (9): 709-728 (2013)The Quest for Introducing Technical Debt Management in a Large-Scale Industrial Company., и . ECSA, том 12292 из Lecture Notes in Computer Science, стр. 296-311. Springer, (2020)VHDL Code Generation from Formal Event-B Models., и . DSD, стр. 127-134. IEEE Computer Society, (2011)Dependable SoPC-Based On-board Ice Protection System: From Research Project to Implementation., , , , , и . DepCoS-RELCOMEX, стр. 135-142. IEEE Computer Society, (2008)