Search results for: Chun-Hsian Huang
Microprocessors and Microsystems > 2017 > 51 > C > 297-312
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Timed, Embedded, and Hybrid Systems (II) > 370-384
Lecture Notes in Computer Science > Ubiquitous Intelligence and Computing > Distributed Systems and Services > 382-396
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 67-81
Journal of Systems Architecture > 2014 > 60 > 8 > 644-654
Computers and Electrical Engineering > 2013 > 39 > 2 > 453-464
IEEE Transactions on Industrial Informatics > 2011 > 7 > 2 > 287 - 301
Journal of Systems Architecture > 2010 > 56 > 11 > 545-560
Journal of Systems Architecture > 2010 > 56 > 2-3 > 88-102
The Journal of Systems & Software > 2009 > 82 > 10 > 1627-1641
IEEE Embedded Systems Letters > 2009 > 1 > 1 > 19 - 23