( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Use of Tabular Expressions for Refinement Automation.

, , , и . MEDI, том 10563 из Lecture Notes in Computer Science, стр. 167-182. Springer, (2017)

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.

Safwat Alani

Maia Alandjiyska

Yilmaz Alan

Viola Alanku

Bertold Aland

 

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

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)Certification of Software-Driven Medical Devices., , и . ISoLA (2), том 6416 из Lecture Notes in Computer Science, стр. 293-295. Springer, (2010)Secure and trusted partial grey-box verification., , и . Int. J. Inf. Sec., 18 (6): 677-700 (2019)A Product-Focused Approach to Software Certification., и . Computer, 41 (2): 91-93 (2008)Something is Rotten in the State of Documenting Simulink Models., , , , и . MODELSWARD, стр. 503-510. SciTePress, (2019)Selecting the best strategy in a software certification process., , , , и . IMCSIT, стр. 53-58. IEEE, (2010)Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?, , , , , , и . IEEE Des. Test, 32 (5): 45-55 (2015)Documenting Simulink designs of embedded systems., , , , , , и . MoDELS (Companion), стр. 47-51. ACM, (2018)On tabular expressions., и . CASCON, стр. 92-106. IBM, (2003)