( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Practical Application of SPARK to OpenUxAS.

, , , , и . FM, том 11800 из Lecture Notes in Computer Science, стр. 751-761. Springer, (2019)

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.

Anthony M Whitbread

Kiara Aiello

Michael Vincent Aiello

Maria-Therese Aiello

Anthony Omigiri

 

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

Assured Reconfiguration of Fail-Stop Systems., , и . DSN, стр. 2-11. IEEE Computer Society, (2005)SCT: A Safety Case Toolkit., , , и . ISSRE Workshops, стр. 216-219. IEEE Computer Society, (2014)Input Space Partitioning to Enable Massively Parallel Proof., , , и . NFM, том 10227 из Lecture Notes in Computer Science, стр. 139-145. (2017)Arguing Software Compliance with ISO 26262., , , и . ISSRE Workshops, стр. 226-231. IEEE Computer Society, (2014)Proving Model Equivalence in Model Based Design., , , и . ISSRE Workshops, стр. 18-21. IEEE Computer Society, (2014)Proving Critical Properties of Simulink Models., , , и . HASE, стр. 189-196. IEEE Computer Society, (2016)A Comprehensive Safety Lifecycle., , , и . SAFECOMP Workshops, том 9338 из Lecture Notes in Computer Science, стр. 38-49. Springer, (2015)Practical Application of SPARK to OpenUxAS., , , , и . FM, том 11800 из Lecture Notes in Computer Science, стр. 751-761. Springer, (2019)Call Me Back, I Have a Type Invariant., , и . FM Workshops (1), том 12232 из Lecture Notes in Computer Science, стр. 325-336. Springer, (2019)SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements., , , , , и . NFM, том 10227 из Lecture Notes in Computer Science, стр. 420-426. (2017)