System assurances : modeling and management
toimetaja
Johri, Prashant
Anand, Adarsh
Vain, Jüri
Singh, Jagvinder
Quasim, Mohammad Tabrez
vastutusandmed
Prashant Johri, Adarsh Anand, Jüri Vain, Jagvinder Singh, Mohammad Tabrez Quasim
kirjastus/väljaandja
Elsevier Inc.
ilmumisaasta
2022
leheküljed
586 p
seeria-sari
Emerging methodologies and applications in modelling, identification and control
leitav
https://doi.org/10.1016/C2020-0-03092-6
märksõna
tarkvara projekteerimine
infotehnoloogia
testimine
vormimärksõna
artiklikogumikud
ISBN
978-0-323-90240-3
978-032390241-0
märkused
Includes bibliogr
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
4.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium