From post

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.

 

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

Reactors: A Deterministic Model for Composable Reactive Systems., , , , , , и . CyPhy/WESE, том 11971 из Lecture Notes in Computer Science, стр. 59-85. Springer, (2019)Modeling Cyber-Physical Systems., , и . Proc. IEEE, 100 (1): 13-28 (2012)Specification of precise timing in synchronous dataflow models., , и . MEMOCODE, стр. 85-94. IEEE, (2016)Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017)., , и . ACM Trans. Embed. Comput. Syst., 18 (1): 1:1-1:2 (2019)Modeling and Simulation of TDL Applications., , , и . Model-Based Engineering of Embedded Real-Time Systems, том 6100 из Lecture Notes in Computer Science, стр. 107-128. Springer, (2007)Towards a reconfigurable distributed testbed to enable advanced research and development of timing and synchronization in cyber-physical systems., , , , , , и . ReConFig, стр. 1-6. IEEE, (2015)Flexible Static Scheduling of Software with Logical Execution Time Constraints., и . CIT, стр. 1719-1726. IEEE Computer Society, (2010)Modeling Cyber–Physical Systems, , и . (2012)Could an Agile Requirements Analysis Be Automated?-Lessons Learned from the Successful Overhauling of an Industrial Automation System., , , , и . Monterey Workshop, том 5320 из Lecture Notes in Computer Science, стр. 25-42. Springer, (2007)A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited., , , , , , , , , и . DAC, стр. 69:1-69:6. ACM, (2017)