Showing 1 - 3 results of 3 for search 'Jiaguang Sun', query time: 0.01s Refine Results
  1. 1
    Modeling a Heterogeneous Embedded System in Coloured Petri Nets

    Modeling a Heterogeneous Embedded System in Coloured Petri Nets by Huafeng Zhang, Hehua Zhang, Ming Gu, Jiaguang Sun

    Published 2014-01-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    A Unified Framework for DPLL(T) + Certificates

    A Unified Framework for DPLL(T) + Certificates by Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun

    Published 2013-01-01
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Memetic-based schedule synthesis for communication on time-triggered embedded systems

    Memetic-based schedule synthesis for communication on time-triggered embedded systems by Heyuan Shi, Kun Tang, Chengbao Liu, Xiaoyu Song, Chao Hu, Jiaguang Sun

    Published 2017-10-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: