Browsing by Author Wan, Kaiyu

In order:
Results/Page
Authors/Record:
Showing results 1 to 8 of 8
DateTitleAuthor(s)Type
2013A bioinformatics approach to model and analyze an industrial radiation therapy system with respiratory compensationMan, Ka Lok; Krilavičius, Tomas; Wan, KaiyuStraipsnis kitose duomenų bazėse / Article in other databases (S4)
2010Composition challenges and approaches for cyber physical systemsWan, Kaiyu; Hughes, Danny; Man, Ka Lok; Krilavičius, TomasStraipsnis konferencijos medžiagoje kitose duomenų bazėse / Article in conference proceedings in other databases (P1c)
2011Modeling and analysis of radiation therapy system with respiratory compensation using uppaalMan, Ka Lok; Krilavičius, Tomas; Wan, Kaiyu; Hughes, Danny; Lee, KevinStraipsnis konferencijos medžiagoje kitose duomenų bazėse / Article in conference proceedings in other databases (P1c)
2012Modelling and verification of compensating transactions using the Spin toolWan, Kaiyu; Kapoor, H. K; Das, Shirshendu; Raju, B; Krilavičius, Tomas; Man, Ka LokStraipsnis konferencijos medžiagoje kitose duomenų bazėse / Article in conference proceedings in other databases (P1c)
2011A practical student's guide : programming in Java and MATLABMan, Ka Lok; Wan, Kaiyu; Krilavičius, TomasMokymo ir metodinė priemonė / Educational and methodical tool (K2c)
2014Specification and analysis of null convention logic (NCL) circuits using PAFSVWan, Kaiyu; Liu, Dawei; Guo, Yu; Ting, T. O.; Lim, Eng Gee; Ma, Jieming; Zhang, Nan; Lei, Chi-Un; Man, Ka Lok; Krilavičius, TomasStraipsnis / Article
2012Towards a hybrid approach to SoC estimation for a smart battery management system (BMS) and battery supported Cyber-physical systems (CPS)Man, K. L; Ting, T. O; Krilavičius, Tomas; Wan, Kaiyu; Chen, C; Chang, J; Poon, S. HStraipsnis konferencijos medžiagoje kitose duomenų bazėse / Article in conference proceedings in other databases (P1c)
2012Using Web 2.0 tools to enhance learning in higher education : a case study in technological educationChi-Un, Lei; Krilavičius, Tomas; Zhang, Nan; Wan, Kaiyu; Man, Ka LokStraipsnis konferencijos medžiagoje kitose duomenų bazėse / Article in conference proceedings in other databases (P1c)