Browsing by Author Wan, Kaiyu

In order:
Results/Page
Authors/Record:
Showing results 1 to 11 of 11
DateTitleAuthor(s)Type
2013A bioinformatics approach to model and analyze an industrial radiation therapy system with respiratory compensationMan, Ka Lok; Wan, Kaiyu; Krilavičius, TomasStraipsnis 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)
2011Investigation on composition mechanisms for cyber physical systemsWan, Kaiyu; Hughes, Danny; Man, Ka Lok; Zou, Shujun; Krilavičius, TomasStraipsnis kitose duomenų bazėse / Article in other databases (S4)
2011Modeling and analysis of radiation therapy system with respiratory compensation using uppaalMan, Ka Lok; Wan, Kaiyu; Hughes, Danny; Lee, Kevin; Krilavičius, TomasStraipsnis 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; Man, Ka Lok; Krilavičius, TomasStraipsnis 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
2014Specification and analysis of null convention logic (NCL) circuits using PAFSVMan, Ka Lok; Zhang, Nan; Lei, Chi-Un; Lim, Eng Gee; Ting, T. O; Wan, Kaiyu; Ma, Jieming; Liu, Dawei; Guo, Yu; Krilavičius, TomasStraipsnis konferencijos medžiagoje Clarivate Analytics Web of Science ar/ir Scopus / Article in Clarivate Analytics Web of Science or Scopus DB conference proceedings (P1a)
2012Specification and verification of radiation therapy system with respiratory compensation using UppaalWan, Kaiyu; Lee, Kevin; Man, Ka Lok; Krilavičius, TomasStraipsnis kitose duomenų bazėse / Article in other databases (S4)
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; Wan, Kaiyu; Chen, C; Chang, J; Poon, S. H; Krilavičius, TomasStraipsnis 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; Zhang, Nan; Wan, Kaiyu; Man, Ka Lok; Krilavičius, TomasStraipsnis konferencijos medžiagoje kitose duomenų bazėse / Article in conference proceedings in other databases (P1c)