( en | de | ru )

 

Disambiguierung von "Kelly, Tim"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems.

, , , und . APSEC, Seite 175-182. IEEE Computer Society, (2007)

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)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)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)Developing artificial neural networks for safety critical systems., , und . Neural Comput. Appl., 16 (1): 11-19 (2007)Evolving Robust Networks for Systems-of-Systems., , , und . SSBSE, Volume 7515 von Lecture Notes in Computer Science, Seite 30-44. Springer, (2012)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)The goal structuring notation--a safety argument notation, und . Proceedings of the dependable systems and networks 2004 workshop on assurance cases, (2004)The need for flexible requirements in dependable systems, und . Proceedings of the 4th International Workshop on Requirements for High Assurance Systems (RHAS), (2005)