print

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
category (sub)
Computer science. Software
kvartiil
Q4
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
Laboratory of proactive technologies
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