Sökning: "Petri Wang"

Hittade 1 uppsats innehållade orden Petri Wang.

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

    Uppsats för yrkesexamina på grundnivå, Institutionen för datavetenskap

    Författare :Xiaobo Wang; [2004]
    Nyckelord :Datorsystem; Petri Net; IP; modeling; simulation; formal verification; model checking; Datorsystem;

    Sammanfattning : 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. LÄS MER