Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Nejad, Mojdeh Sayari"'
Assurance cases provide an organized and explicit argument for correctness. They can dramatically improve the certification of Scientific Computing Software (SCS). Assurance cases have already been effectively used for safety cases for real time syst
Externí odkaz:
http://arxiv.org/abs/1912.13308
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
ICSE: International Conference on Software Engineering; 5/27/2018, p420-421, 2p
