( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Software Certification: Is There a Case against Safety Cases?

, , , и . Monterey Workshop, том 6662 из Lecture Notes in Computer Science, стр. 206-227. Springer, (2010)

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

Bertold Aland

Deeb Taher Deeb Alansawi

 

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

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)Documenting Simulink designs of embedded systems., , , , , , и . MoDELS (Companion), стр. 47-51. ACM, (2018)Selecting the best strategy in a software certification process., , , , и . IMCSIT, стр. 53-58. IEEE, (2010)Something is Rotten in the State of Documenting Simulink Models., , , , и . MODELSWARD, стр. 503-510. SciTePress, (2019)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)Assurance via workflow+ modelling and conformance., , , и . CoRR, (2019)On tabular expressions., и . CASCON, стр. 92-106. IBM, (2003)Assurance via model transformations and their hierarchical refinement., , , , и . MoDELS, стр. 426-436. ACM, (2018)