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
Journal metrics at Scopus
Article at Scopus
category (general)
Computer science
en
Arvutiteadus
et
category (sub)
Computer science. Software
en
Arvutiteadus. Tarkvara
et
kvartiil
Q4
TTÜ department
tarkvarateaduse instituut
language
inglise