( en | de | ru )

 

Disambiguierung von "Kelly, Tim"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Integration of the 4+1 Software Safety Assurance Principles with Scrum.

, , , , und . EuroSPI, Volume 748 von Communications in Computer and Information Science, Seite 72-82. Springer, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Thomas Kelly

Lutz-Ulrich Kelly

Sven Kelly

William James Kelly

Norman Kelly

 

Weitere Publikationen von Autoren mit dem selben Namen

Developing Assurance Cases for D-MILS Systems., , und . MILS@HiPEAC, Zenodo, (2015)Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods., , , und . IFM, Volume 11918 von Lecture Notes in Computer Science, Seite 379-398. Springer, (2019)Variability management in safety-critical systems design and dependability analysis., , , , , , und . Journal of Software: Evolution and Process, (2019)The need for flexible requirements in dependable systems, und . Proceedings of the 4th International Workshop on Requirements for High Assurance Systems (RHAS), (2005)The goal structuring notation--a safety argument notation, und . Proceedings of the dependable systems and networks 2004 workshop on assurance cases, (2004)Evolving Robust Networks for Systems-of-Systems., , , und . SSBSE, Volume 7515 von Lecture Notes in Computer Science, Seite 30-44. Springer, (2012)Rethinking of Strategy for Safety Argument Development., , und . SAFECOMP Workshops, Volume 8696 von Lecture Notes in Computer Science, Seite 384-395. Springer, (2014)Mechanised Assurance Cases with Integrated Formal Methods in Isabelle., , , und . CoRR, (2019)Automated Model-Based Assurance Case Management Using Constrained Natural Language., , , , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 43 (1): 291-304 (Januar 2024)Achieving Integrated Process and Product Safety Arguments., und . SSS, Seite 55-68. Springer, (2007)