prindi

Using spark to ensure system to software integrity : a case study

autor
Näks, Tõnu
Aiello, M.A.
Taft, S.T.
vastutusandmed
T. Naks, M.A. Aiello, S.T. Taft
allikas
Ada user journal
kirjastus/väljaandja
Ada-Europe
ajakirja aastakäik number kuu
vol. 40, 4
ilmumisaasta
2019
leheküljed
p. 226-229 : ill
leitav
https://www.ada-switzerland.ch/doc/auj/auj-40-4.pdf
märksõna
SIMULINK (tarkvara)
SysML (programmeerimiskeel)
tehnilised andmed
võtmesõna
observer
property preservation
simulink
system-to-software integrity
spark
SysML
ISSN
1381-6551
märkused
Bibliogr.: 18 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
kategooria (üld)
Computer science
kategooria (alam)
Computer science. Software
kvartiil
Q4
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Naks, T., Aiello, M.A., Taft, S.T. Using spark to ensure system to software integrity : a case study // Ada user journal (2019) vol. 40, 4, p. 226-229 : ill. https://www.ada-switzerland.ch/doc/auj/auj-40-4.pdf