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
https://www.scopus.com/sourceid/27842
https://www.scopus.com/record/display.uri?eid=2-s2.0-85086901251&origin=inward&txGid=067c8611afda29e14fbcf225c21b7a35
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
kvartiil
Q4
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Proaktiivtehnoloogiate laboratoorium