Using spark to ensure system to software integrity : a case study
author
Näks, Tõnu
Aiello, M.A.
Taft, S.T.
statement of authorship
T. Naks, M.A. Aiello, S.T. Taft
source
Ada user journal
publisher
Ada-Europe
journal volume number month
vol. 40, 4
year of publication
2019
pages
p. 226-229 : ill
url
https://www.ada-switzerland.ch/doc/auj/auj-40-4.pdf
subject term
SIMULINK (tarkvara)
SysML (programmeerimiskeel)
tehnilised andmed
keyword
observer
property preservation
simulink
system-to-software integrity
spark
SysML
ISSN
1381-6551
notes
Bibliogr.: 18 ref
scientific publication
teaduspublikatsioon
classifier
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
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
quartile
Q4
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
Laboratory of proactive technologies