Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL
autor
Balasubramaniyan, Sreram
vastutusandmed
Sreram Balasubramaniyan, Seshadhri Srinivasan, Furio Buonopane, B. Subathra, Jüri Vain, Srini Ramaswamy
allikas
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
kategooria (üld)
kategooria (alam)
kvartiil
TTÜ struktuuriüksus
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.