full record 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
pages
p. 226-229 : ill
url
ISSN
1381-6551
notes
Bibliogr.: 18 ref
scientific publication
teaduspublikatsioon
language
inglise
subject term
keyword
observer
property preservation
simulink
system-to-software integrity
spark
SysML
category (general)
category (sub)
Reserch Group
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