Browsing by Author Man, Ka Lok

Jump to a point in the index:
Or type in a year:
In order:
Results/Page
Authors/Record:
Showing results 1 to 20 of 44  next
DateTitleAuthor(s)Type
2009Case studies with Process Analysis Toolkit (PAT)Man, Ka Lok; Krilavičius, Tomas; Leung, H. Lresearch article
2010TEPAWSN: A formal analysis tool for wireless sensor networksMan, Ka Lok; Krilavičius, Tomas; Vallee, Thierry; Leung, H.Lresearch article
2010Application of Bhave toolset for system control and electronic system designMan, Ka Lok; Krilavičius, Tomas; Chen, C; Leung, H.Lresearch article
2010Composition challenges and approaches for cyber physical systemsWan, Kaiyu; Hughes, Danny; Man, Ka Lok; Krilavičius, Tomasresearch article
2010Research on Process Algebraic Analysis Tools for Electronic System DesignMan, Ka Lok; Krilavičius, Tomasbook part
2010Behavioural Hybrid Process Calculus for Modelling and Analysis of Hybrid and Electronic Systems performanceKrilavičius, Tomas; Man, Ka Lokbook part
2011Modeling and analysis of radiation therapy system with respiratory compensation using uppaalMan, Ka Lok; Krilavičius, Tomas; Wan, Kaiyu; Hughes, Danny; Lee, Kevinresearch article
2011Specification and analysis of NCL circuitsMa, J; Kapoor, H. K; Krilavičius, Tomas; Man, Ka Lok; Zhang, N; Lim, E. G; Jeong, T. T; Guan, S. U; Seon, J. Kresearch article
2011Investigation on composition mechanisms for cyber physical systemsWan, Kaiyu; Hughes, Danny; Man, Ka Lok; Krilavičius, Tomas; Zou, Shujunresearch article
2011A practical student's guide : programming in Java and MATLABMan, Ka Lok; Wan, Kaiyu; Krilavičius, Tomasbook
2011Timed model of the radiation therapy system with respiratory motion compensationKrilavičius, Tomas; Man, Ka Lokresearch article
2012Modelling and verification of compensating transactions using the Spin toolWan, Kaiyu; Kapoor, H. K; Das, Shirshendu; Raju, B; Krilavičius, Tomas; Man, Ka Lokresearch article
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 Lokresearch article
2012Design and realization of a smart battery management systemChen, C; Man, Ka Lok; Ting, T. O; Chi-Un, Lei; Krilavičius, Tomas; Jeong, T. T; Seon, J. K; Guan, S. U; Wong, Prudence W. Hresearch article
2012Specification and verification of radiation therapy system with respiratory compensation using UppaalKrilavičius, Tomas; Wan, Kaiyu; Lee, Kevin; Man, Ka Lokresearch article
2012A Self-test and self-repair approach for analog integrated circuitsKarmani, Mouna; Krilavičius, Tomas; Khedhiri, Chiraz; Hamdi, Belgacem; Man, Ka Lok; Rahmani, Amir-Mohammadresearch article
2012Artificial intelligence approach to SoC estimation for smart BMSMan, Ka Lok; Chen, C; Ting, T. O; Krilavičius, Tomas; Chang, J; Poon, S. Hresearch article
2013A bioinformatics approach to model and analyze an industrial radiation therapy system with respiratory compensationMan, Ka Lok; Krilavičius, Tomas; Wan, Kaiyuresearch article
2013Improving the teaching of computer networks through the incorporation of industry based training coursesMatusa, Robertas; Butkus, Laimonas; Krilavičius, Tomas; Man, Ka Lok; Liang, Hai-Ningresearch article
2013Improving power-conversion efficiency via a hybrid MPPT approach for photovoltaic systemsMa, J; Man, Ka Lok; Ting, T. O; Zhang, Nan; Guan, S. U; Wong, Prudence W. H; Lim, E. G; Krilavičius, Tomas; Kapočiūtė-Dzikienė, Jurgita; Lei, C. Uresearch article