From post

Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application.

, , , , и . NFM, том 9690 из Lecture Notes in Computer Science, стр. 206-220. Springer, (2016)

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.

 

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

Novel Fundus Image Preprocessing for Retcam Images to Improve Deep Learning Classification of Retinopathy of Prematurity., , , , , , и . CoRR, (2023)Guest Editors' Introduction: Inspection's Role in Software Quality Assurance., и . IEEE Softw., 20 (4): 16-20 (2003)Assurance Cases for Timing Properties of Automotive TSN Networks., , , , и . SAFECOMP Workshops, том 14182 из Lecture Notes in Computer Science, стр. 26-31. Springer, (2023)Change impact analysis in Simulink designs of embedded systems., , , , , , , , и . ESEC/SIGSOFT FSE, стр. 1274-1284. ACM, (2020)Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS., , , и . FTSCS, том 419 из Communications in Computer and Information Science, стр. 125-141. Springer, (2013)Hierarchical interface-based supervisory Control-part I: serial case., , , и . IEEE Trans. Automat. Contr., 50 (9): 1322-1335 (2005)Hierarchical interface-based supervisory control-part II: parallel case., , и . IEEE Trans. Automat. Contr., 50 (9): 1336-1348 (2005)Erratum to "Hierarchical Interface-Based Supervisory Control - Part I: Serial Case"., , , и . IEEE Trans. Automat. Contr., 50 (11): 1916 (2005)Use of Tabular Expressions for Refinement Automation., , , и . MEDI, том 10563 из Lecture Notes in Computer Science, стр. 167-182. Springer, (2017)Applying Modular Decomposition in Simulink., , , , и . ISSRE Workshops, стр. 31-36. IEEE, (2020)