No photo of Ka Lok Man

View Scopus Profile

Ka Lok Man

Professor

Calculated based on number of publications stored in Pure and citations from Scopus
20032025

Research activity per year

Filter
Conference Proceeding

Search results

  • 2012

    Space exploration of multi-agent robotics via genetic algorithm

    Ting, T. O., Wan, K., Man, K. L. & Lee, S., 2012, Network and Parallel Computing - 9th IFIP International Conference, NPC 2012, Proceedings. p. 500-507 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7513 LNCS).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    Open Access
    3 Citations (Scopus)

  • Towards 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, T., Wan, K., Chen, C., Chang, J. & Poon, S. H., 2012, 2012 2nd Baltic Congress on Future Internet Communications, BCFIC 2012. p. 113-116 4 p. 6217989. (2012 2nd Baltic Congress on Future Internet Communications, BCFIC 2012).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    19 Citations (Scopus)

  • Transmitter antennas for wireless capsule endoscopy

    Lim, E. G., Wang, Z., Yu, F. Z., Tillo, T., Man, K. L., Wang, J. C. & Zhang, M., 2012, ISOCC 2012 - 2012 International SoC Design Conference. p. 269-272 4 p. 6407092. (ISOCC 2012 - 2012 International SoC Design Conference).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    12 Citations (Scopus)

  • Using web 2.0 tools to enhance learning in higher education: A case study in technological education

    Lei, C. U., Krilavicius, T., Zhang, N., Wan, K. & Man, K. L., 2012, International MultiConference of Engineers and Computer Scientists, IMECS 2012. Newswood Limited, p. 1153-1156 4 p. (Lecture Notes in Engineering and Computer Science; vol. 2196).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    14 Citations (Scopus)

  • Weightless Swarm Algorithm (WSA) for dynamic optimization problems

    Ting, T. O., Man, K. L., Guan, S. U., Nayel, M. & Wan, K., 2012, Network and Parallel Computing - 9th IFIP International Conference, NPC 2012, Proceedings. p. 508-515 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7513 LNCS).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    Open Access
    25 Citations (Scopus)
  • 2011

    Accurate constraints aware mapping on Coarse-Grained Reconfigurable Architecture

    Zhang, P., Luo, H. & Man, K. L., 2011, Proceedings - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - ICASE 2011, SGH 2011, GSDP 2011. p. 39-44 6 p. 5951947. (Proceedings - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - ICASE 2011, SGH 2011, GSDP 2011).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

  • A novel radio propagation and radiation model of the wireless capsule endoscopy in human gastro-intestine (GI) tract

    Lim, E. G., Wang, Z., Tillo, T., Man, K. L., Wong, T. S. & Lai, K. W., 2011, 2011 International SoC Design Conference, ISOCC 2011. IEEE Computer Society, p. 310-312 3 p. (2011 International SoC Design Conference, ISOCC 2011).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    1 Citation (Scopus)

  • Concurrent error detection adder based on two paths output computation

    Khedhiri, C., Karmani, M., Hamdi, B. & Man, K. L., 2011, Proceedings - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - ICASE 2011, SGH 2011, GSDP 2011. p. 27-32 6 p. 5951945. (Proceedings - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - ICASE 2011, SGH 2011, GSDP 2011).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    14 Citations (Scopus)

  • Design, analysis, tools and applications for programmable high-speed and power-aware 4G processors

    Man, K. L., Lei, C. U., Ma, J., Wu, Y., Guan, S. U., Jeong, T. T., Seon, J. K. & Lee, Y., 2011, 2011 International SoC Design Conference, ISOCC 2011. IEEE Computer Society, p. 321-324 4 p. (2011 International SoC Design Conference, ISOCC 2011).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    1 Citation (Scopus)

  • Design and development of B2B e-Commerce framework for Malaysian SMEs

    Chong, W. K., Man, K. L., Chen, C. & Lai, H. Y., 2011, IMECS 2011 - International MultiConference of Engineers and Computer Scientists 2011. p. 1062-1065 4 p. (IMECS 2011 - International MultiConference of Engineers and Computer Scientists 2011; vol. 2).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    3 Citations (Scopus)

  • Design for testability in nano-CMOS analog integrated circuits using a new design analog checker

    Karmani, M., Khedhiri, C., Man, K. L. & Hamdi, B., 2011, 2011 International SoC Design Conference, ISOCC 2011. IEEE Computer Society, p. 317-320 4 p. (2011 International SoC Design Conference, ISOCC 2011).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    2 Citations (Scopus)

  • Implementation of high performance multipliers based on approximate compressor design

    Ma, J., Man, K. L., Krilavičius, T., Guan, S. U. & Jeong, T., 2011, 6th International Conference on Electrical and Control Technologies, ECT 2011. Jonaitis, A., Sauhats, A., Virbalis, A., Brazauskas, K., Azubalis, M., Navickas, A. & Galvanauskas, V. (eds.). Kaunas University of Technology, p. 96-100 5 p. (6th International Conference on Electrical and Control Technologies, ECT 2011).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    14 Citations (Scopus)

  • Modeling and analysis of radiation therapy system with respiratory compensation using Uppaal

    Man, K. L., Krilavičius, T., Wan, K., Hughes, D. & Lee, K., 2011, Proceedings - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - ICASE 2011, SGH 2011, GSDP 2011. p. 50-54 5 p. 5951949. (Proceedings - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - ICASE 2011, SGH 2011, GSDP 2011).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    Open Access
    7 Citations (Scopus)

  • Optimum selective mapping for PAPR reduction

    Wu, Y., Man, K. L. & Wang, Y., 2011, 2011 Wireless Telecommunications Symposium, WTS 2011. 5960847. (Wireless Telecommunications Symposium).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    8 Citations (Scopus)

  • Performance-effective compaction of standard cell library for edge-triggered latches utilizing 0.5 micron technology

    Zhao, C., Pan, W., Zhao, C. Z., Man, K. L., Choi, J. & Chang, J., 2011, 2011 International SoC Design Conference, ISOCC 2011. IEEE Computer Society, p. 313-316 4 p. (2011 International SoC Design Conference, ISOCC 2011).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

  • Standard cell library establishment and simulation for scan D flip-flops based on 0.5 micron CMOS mixed-signal process

    Zhao, C., Zhang, W., Zhao, C. Z., Man, K. L., Jeong, T. T., Seon, J. K. & Lee, Y., 2011, 2011 International SoC Design Conference, ISOCC 2011. IEEE Computer Society, p. 306-309 4 p. (2011 International SoC Design Conference, ISOCC 2011).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    4 Citations (Scopus)

  • The development of B2B e-marketing in Jiangsu province, China: Opportunities and strategies for SMEs

    Zhang, C., Yuan, Y., Chong, W. K., Man, K. L. & Dong, B., 2011, Innovation and Knowledge Management: A Global Competitive Advantage - Proceedings of the 16th International Business Information Management Association Conference, IBIMA 2011. International Business Information Management Association, IBIMA, p. 2314-2329 16 p. (Innovation and Knowledge Management: A Global Competitive Advantage - Proceedings of the 16th International Business Information Management Association Conference, IBIMA 2011; vol. 4).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

  • Timed model of the radiation therapy system with respiratory motion compensation

    Krilavičius, T. & Man, K. L., 2011, 6th International Conference on Electrical and Control Technologies, ECT 2011. Jonaitis, A., Sauhats, A., Virbalis, A., Brazauskas, K., Azubalis, M., Navickas, A. & Galvanauskas, V. (eds.). Kaunas University of Technology, p. 92-95 4 p. (6th International Conference on Electrical and Control Technologies, ECT 2011).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    4 Citations (Scopus)

  • Towards a language based synthesis of NCL circuits

    Kapoor, H. K., Asthana, A., Krilavicius, T., Zeng, W., Ma, J. & Man, K. L., 2011, IMECS 2011 - International MultiConference of Engineers and Computer Scientists 2011. Newswood Ltd., p. 1033-1038 6 p. (IMECS 2011 - International MultiConference of Engineers and Computer Scientists 2011; vol. 2).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    3 Citations (Scopus)

  • VLSI macromodeling and signal integrity analysis via digital signal processing techniques

    Lei, C. U., Man, K. L. & Wu, Y., 2011, IMECS 2011 - International MultiConference of Engineers and Computer Scientists 2011. p. 1031-1032 2 p. (IMECS 2011 - International MultiConference of Engineers and Computer Scientists 2011; vol. 2).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    4 Citations (Scopus)
  • 2010

    Application of Bhave toolset for system control and electronic system design

    Man, K. L., Krilavičius, T., Chen, C. & Leung, H. L., 2010, Proceedings of the International MultiConference of Engineers and Computer Scientists 2010, IMECS 2010. p. 1336-1341 6 p. (Proceedings of the International MultiConference of Engineers and Computer Scientists 2010, IMECS 2010).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    4 Citations (Scopus)

  • Applying a multi-paradigm approach to implementing wireless sensor network based river monitoring

    Ueyama, J., Hughes, D., Man, K. L., Guan, S. U., Matthys, N., Horré, W., Michiels, S., Huygens, C. & Joosen, W., 2010, Proceedings - 2010 1st ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded Systems, CDEE 2010. IEEE Computer Society, p. 187-191 5 p. 5759380. (Proceedings - 2010 1st ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded Systems, CDEE 2010).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    Open Access
    10 Citations (Scopus)

  • A wireless sensor network based green marketplace for electrical appliances

    Hughes, D., Man, K. L., Lee, K. & Ueyama, J., 2010, 2nd International Conference on Future Networks, ICFN 2010. IEEE Computer Society, p. 299-303 5 p. 5431831. (2nd International Conference on Future Networks, ICFN 2010).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    Open Access
    1 Citation (Scopus)

  • Behavioural hybrid process calculus for modelling and analysis of hybrid and Electronic Systems

    Krilavičius, T. & Man, K. L., 2010, Intelligent Automation and Computer Engineering. p. 429-443 15 p. (Lecture Notes in Electrical Engineering; vol. 52 LNEE).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

  • BSAA: A switching activity analysis and visualisation tool for SoC power optimisation

    English, T., Lok Man, K. & Popovici, E., 2010, Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation - 19th International Workshop, PATMOS 2009, Revised Selected Papers. p. 216-226 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5953 LNCS).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    1 Citation (Scopus)

  • Composition challenges and approaches for cyber physical systems

    Wan, K., Hughes, D., Man, K. L. & Krilavičius, T., 2010, 2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications, NESEA 2010. 5678065. (2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications, NESEA 2010).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    27 Citations (Scopus)

  • Decentralized fault detection and management for Wireless Sensor Networks

    Man, K. L., Chen, C. & Hughes, D., 2010, 2010 5th International Conference on Future Information Technology, FutureTech 2010 - Proceedings. 5482679. (2010 5th International Conference on Future Information Technology, FutureTech 2010 - Proceedings).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    5 Citations (Scopus)

  • Design of a novel 8-port memory cell

    Chang, J., Man, K. L. & Lim, E., 2010, 2010 International SoC Design Conference, ISOCC 2010. p. 445-448 4 p. 5682876. (2010 International SoC Design Conference, ISOCC 2010).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

  • Minteos mesh protocol and SystemC simulator

    Man, K. L., Mercaldi, M., Lazarescu, M. T. & Brini, M., 2010, 2010 5th International Conference on Future Information Technology, FutureTech 2010 - Proceedings. 5482669. (2010 5th International Conference on Future Information Technology, FutureTech 2010 - Proceedings).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    Open Access

  • Multi-network video streaming in a campus visit scenario

    Xu, B., Hughes, D. & Man, K. L., 2010, Proceedings - 3rd International Conference on Information Sciences and Interaction Sciences, ICIS 2010. p. 699-703 5 p. 5534689. (Proceedings - 3rd International Conference on Information Sciences and Interaction Sciences, ICIS 2010).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

  • Power reduction and technology mapping of digital circuits using AND-inverter graphs

    Mehrotra, R., Popovici, E., Man, K. L. & Schellekens, M., 2010, 2010 27th International Conference on Microelectronics, MIEL 2010 - Proceedings. p. 295-298 4 p. 5490477. (2010 27th International Conference on Microelectronics, MIEL 2010 - Proceedings).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    7 Citations (Scopus)

  • Process algebraic specification of DI circuits

    Man, K. L., Asthana, A., Kapoor, H. K., Krilavičius, T. & Chang, J., 2010, 2010 International SoC Design Conference, ISOCC 2010. p. 396-399 4 p. 5682885. (2010 International SoC Design Conference, ISOCC 2010).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    1 Citation (Scopus)

  • Research on process algebraic analysis tools for electronic system design

    Man, K. L. & Krilavicius, T., 2010, Intelligent Automation and Computer Engineering. p. 415-427 13 p. (Lecture Notes in Electrical Engineering; vol. 52 LNEE).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

  • Statistical analysis and structure optimization of large photovoltaic module

    Thankalekshmi, R. R., Qiu, Q. & Man, K. L., 2010, 2010 5th International Conference on Future Information Technology, FutureTech 2010 - Proceedings. 5482687. (2010 5th International Conference on Future Information Technology, FutureTech 2010 - Proceedings).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    2 Citations (Scopus)

  • Towards a unified framework for Cyber-Physical Systems (CPS)

    Wan, K., Man, K. L. & Hughes, D., 2010, Proceedings - 2010 1st ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded Systems, CDEE 2010. IEEE Computer Society, p. 292-295 4 p. 5759327. (Proceedings - 2010 1st ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded Systems, CDEE 2010).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    9 Citations (Scopus)
  • 2009

    A low-power pairing-based cryptographic accelerator for embedded security applications

    English, T., Keller, M., Man, K. L., Popovici, E., Schellekens, M. & Marnane, W., 2009, Proceedings - IEEE International SOC Conference, SOCC 2009. p. 369-372 4 p. 5398017. (Proceedings - IEEE International SOC Conference, SOCC 2009).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    3 Citations (Scopus)

  • A switching activity analysis and visualisation tool for power optimisation of SoC buses

    English, T., Man, K. L. & Popovici, E., 2009, 2009 Ph.D. Research in Microelectronics and Electronics, PRIME 2009. p. 264-267 4 p. 5201355. (2009 Ph.D. Research in Microelectronics and Electronics, PRIME 2009).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    4 Citations (Scopus)

  • Case studies with Process Analysis Toolkit (PAT)

    Man, K. L., Krilavičius, T. & Leung, H. L., 2009, 2009 International SoC Design Conference, ISOCC 2009. p. 133-136 4 p. 5423889. (2009 International SoC Design Conference, ISOCC 2009).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    4 Citations (Scopus)

  • Data structure manipulation for NNIG and PTNNIG: Towards a unified power and timing analysis

    Mehrotra, R., Man, K. L., Popovici, E. & Schellekens, M., 2009, 3rd International Conference on Signals, Circuits and Systems, SCS 2009. 5414179. (3rd International Conference on Signals, Circuits and Systems, SCS 2009).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    3 Citations (Scopus)

  • TEPAWSN - A tool environment for wireless sensor networks

    Man, K. L., Vallee, T., Leung, H. L., Mercald, M., Van Der Wul, J., Donn, M. & Pastrna, M., 2009, 2009 4th IEEE Conference on Industrial Electronics and Applications, ICIEA 2009. p. 730-733 4 p. 5138301. (2009 4th IEEE Conference on Industrial Electronics and Applications, ICIEA 2009).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    6 Citations (Scopus)
  • 2008

    Digital Power Estimation Flow Combining Academic and Industrial Tools

    Mehrotra, R., English, T., Man, K. L., Popovici, E. & Schellekens, M. P., 2008, 2008 International SoC Design Conference, ISOCC 2008. p. II89-II92 4815691. (2008 International SoC Design Conference, ISOCC 2008; vol. 2).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    2 Citations (Scopus)

  • HotSpot: Visualizing dynamic power consumption in RTL designs

    English, T., Man, K. L., Popovici, E. & Schellekens, M. P., 2008, Proceedings of IEEE East-West Design and Test Symposium, EWDTS'08. p. 45-48 4 p. 5580137. (Proceedings of IEEE East-West Design and Test Symposium, EWDTS'08).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    4 Citations (Scopus)

  • Interoperability of performance and functional analysis for electronic system designs in behavioural hybrid process calculus (BHPC)

    Man, K. L. & Schellekens, M. P., 2008, Trends in Intelligent Systems and Computer Engineering. p. 375-394 20 p. (Lecture Notes in Electrical Engineering; vol. 6).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    1 Citation (Scopus)

  • PAFSV: A process algebraic framework for systemVerilog

    Man, K. L., 2008, Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT 2008. p. 535-542 8 p. 4747295. (Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT 2008; vol. 3).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    3 Citations (Scopus)

  • Specification and analysis of hardware designs using mCRL2

    Man, K. L. & Van Der Wulp, J., 2008, IEEE Canadian Conference on Electrical and Computer Engineering, Proceedings, CCECE 2008. p. 211-214 4 p. 4564526. (Canadian Conference on Electrical and Computer Engineering).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    1 Citation (Scopus)

  • μ̂CRL: A Computer Science based Approach for and Verification of Hardware Circuits

    Man, K. L., 2008, 2008 International SoC Design Conference, ISOCC 2008. p. I387-I390 4815653. (2008 International SoC Design Conference, ISOCC 2008; vol. 1).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

  • 2007

    Analysis of a mixed-signal circuit in hybrid process algebra ACP hssrt

    Man, K. L. & Schellekens, M. P., 2007, IMECS 2007 - International MultiConference of Engineers and Computer Scientists 2007. p. 568-573 6 p. (Lecture Notes in Engineering and Computer Science).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    2 Citations (Scopus)

  • Deriving simulators for hybrid chi models

    Van Beek, D. A., Man, K. L., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2007, Proceedings of the 2006 IEEE Conference on Computer Aided Control Systems Design, CACSD. p. 42-49 8 p. 4064726. (Proceedings of the 2006 IEEE Conference on Computer Aided Control Systems Design, CACSD).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    5 Citations (Scopus)

  • Formal verification of mutual exclusion between the guards of deterministic choice structures

    Boubekeur, M., Man, K. L. & Schellekens, M. P., 2007, 2007 Canadian Conference on Electrical and Computer Engineering, CCECD. p. 1417-1420 4 p. 4233015. (Canadian Conference on Electrical and Computer Engineering).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

  • Mathematical modelling of digital hardware systems in timed Chi

    Man, K. L. & Schellekens, M. P., 2007, Proceedings of the 26th IASTED International Conference on Modelling, Identification, and Control, MIC 2007. p. 363-368 6 p. (Proceedings of the IASTED International Conference on Modelling, Identification, and Control, MIC).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    5 Citations (Scopus)