Risultati della ricerca - Kelly, Tim
- Mostra 1 - 2 risultati su 2
-
1
Model Based System Assurance Using the Structured Assurance Case Metamodel Autoría: Wei, Ran, Kelly, Tim P., Dai, Xiaotian, Zhao, Shuai, Hawkins, Richard
Pubblicazione 2019Fuente: arXivTipo de material: PreprintAcceso al recurso -
2
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems Autoría: Wei, Ran, Foster, Simon, Mei, Haitao, Yan, Fang, Yang, Ruizhe, Habli, Ibrahim, O'Halloran, Colin, Tudor, Nick, Kelly, Tim, Nemouchi, Yakoub
Pubblicazione 2024Fuente: arXivTipo de material: PreprintAcceso al recurso