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
ISSN
0141-9331
märkused
Bibliogr.: 51 ref
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
võtmesõna
jitter bound
evolutionary algorithm multi-objective
non-dominated sorting genetic algorithm II (NSGA II)
klassifikaator
kvartiil
kategooria (üld)
TTÜ struktuuriüksus
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.