From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

CHESS: an Open Source Methodology and Toolset for the Development of Critical Systems.

S. Mazzini, J. Favaro, S. Puri, и L. Baracchi. EduSymp/OSS4MDE@MoDELS, том 1835 из CEUR Workshop Proceedings, стр. 59-66. CEUR-WS.org, (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.

Werner Puri

Inder Krishan Puri

Saurabh Puri

Laura Puritani

Maria Cristina Puricelli

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

Task and Memory Mapping of Large Size Embedded Applications over NUMA architecture✱.A. Druetto, E. Bini, A. Grosso, S. Puri, S. Bacci, M. Natale, и F. Paladino. RTNS, стр. 166-176. ACM, (2023)A comprehensive framework for the analysis of automotive systems.A. Cimatti, S. Corfini, L. Cristoforetti, M. Natale, A. Griggio, S. Puri, и S. Tonetta. MoDELS, стр. 379-389. ACM, (2022)Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development.L. Baracchi, S. Mazzini, S. Puri, и T. Vardanega. Ada-Europe, том 9695 из Lecture Notes in Computer Science, стр. 113-128. Springer, (2016)CHESS: an Open Source Methodology and Toolset for the Development of Critical Systems.S. Mazzini, J. Favaro, S. Puri, и L. Baracchi. EduSymp/OSS4MDE@MoDELS, том 1835 из CEUR Workshop Proceedings, стр. 59-66. CEUR-WS.org, (2016)A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis.I. Sljivo, B. Gallina, J. Carlson, H. Hansson, и S. Puri. ICSR, том 8919 из Lecture Notes in Computer Science, стр. 253-268. Springer, (2015)Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation.I. Sljivo, B. Gallina, J. Carlson, H. Hansson, и S. Puri. Ada-Europe, том 10873 из Lecture Notes in Computer Science, стр. 19-33. Springer, (2018)An MDE methodology for the development of high-integrity real-time systems.S. Mazzini, S. Puri, и T. Vardanega. DATE, стр. 1154-1159. IEEE, (2009)

BibSonomy

Disambiguation