täiskirje prindi

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
leheküljed
p. 226-229 : ill
leitav
ISSN
1381-6551
märkused
Bibliogr.: 18 ref
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
märksõna
võtmesõna
observer
property preservation
simulink
system-to-software integrity
spark
SysML
kategooria (üld)
kategooria (alam)
Uurimisrühm
Proaktiivtehnoloogiate laboratoorium
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