Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL

vastutusandmed
Sreram Balasubramaniyan, Seshadhri Srinivasan, Furio Buonopane, B. Subathra, Jüri Vain, Srini Ramaswamy
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 42
ilmumisaasta
leheküljed
p. 37-48 : ill
võtmesõna
jitter bound
evolutionary algorithm multi-objective
non-dominated sorting genetic algorithm II (NSGA II)
ISSN
0141-9331
märkused
Bibliogr.: 51 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
kategooria (üld)
kvartiil
Q2
keel
inglise
Balasubramaniyan, S., Srinivasan, S. Buonopane, F., Balasubramanian, S., Vain, J., Ramaswamy, S. Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL // Microprocessors and microsystems (2016) vol. 42, p. 37-48 : ill. https://doi.org/10.1016/j.micpro.2015.12.006