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

Balasubramaniyan, S.; Srinivasan, S.; Buonopane, F.; Subathra, B.; Vain, J.; Ramaswamy, S. (2016). Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL. Microprocessors and Microsystems: Embedded Hardware Design, 42, 37−48.10.1016/j.micpro.2015.12.006.
ajakirjaartikkel
Balasubramaniyan, S.; Srinivasan, S.; Buonopane, F.; Subathra, B.; Vain, J.; Ramaswamy, S.
  • Inglise
Microprocessors and Microsystems: Embedded Hardware Design
0141-9331
42
2016
3748
Ilmunud
1.1. Teadusartiklid, mis on kajastatud Web of Science andmebaasides Science Citation Index Expanded, Social Sciences Citation Index, Arts & Humanities Citation Index ja/või andmebaasis Scopus (v.a. kogumikud)
WOS

Viited terviktekstile

doi.org/10.1016/j.micpro.2015.12.006