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.

 

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

Robust nonblocking supervisory control of discrete-event systems., , и . IEEE Trans. Automat. Contr., 50 (12): 2015-2021 (2005)A low-power, low-cost automotive touchscreen with real controls., и . CCECE, стр. 1416-1419. IEEE, (2011)Use of a metric in supervisory control of probabilistic discrete event systems., и . WODES, стр. 217-222. International Federation of Automatic Control, (2010)Something is Rotten in the State of Documenting Simulink Models., , , , и . MODELSWARD, стр. 503-510. SciTePress, (2019)A Safety Architecture for Centralized E/E Architectures., , , и . DSN Workshops, стр. 67-70. IEEE, (2021)Certification of Software-Driven Medical Devices., , и . ISoLA (2), том 6416 из Lecture Notes in Computer Science, стр. 293-295. Springer, (2010)Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project., и . FME, том 2805 из Lecture Notes in Computer Science, стр. 133-153. Springer, (2003)Timing Tolerances in Safety-Critical Software., , и . FM, том 3582 из Lecture Notes in Computer Science, стр. 157-172. Springer, (2005)The Role of Inspection in Software Quality Assurance., и . IEEE Trans. Software Eng., 29 (8): 674-676 (2003)Documenting Simulink designs of embedded systems., , , , , , и . MoDELS (Companion), стр. 47-51. ACM, (2018)