Essays about: "xiaobo wang"

Found 1 essay containing the words xiaobo wang.

  1. 1. Design and Implementation of a Tool for Modeling, Simulation and Verification of Component-based Embedded Systems

    University essay from Institutionen för datavetenskap

    Author : Xiaobo Wang; [2004]
    Keywords : Datorsystem; Petri Net; IP; modeling; simulation; formal verification; model checking; Datorsystem;

    Abstract : Nowadays, embedded systems are becoming more and more complex. For this reason, designers focus more and more to adopt component-based methods for their designs. Consequently, there is an increasing interest on modeling and verification issues of component-based embedded systems. READ MORE