Browsing Computer Science by Subject "Discrete Event System Specification"

Now showing items 1-2 of 2

  • Formal and Operational Study of P-Devs 

    Eli-Ake, Grace Eyitayo Kehinde (2011-12-15)
    Discrete Event System Specification (DEVS) is a sound formal modeling and simulation (M&S) structure based on generic dynamic system concepts. PDEVS (Parallel Discrete Event System Specification) is a well-known formalism ...

  • Strategies to Implement Parallel Discrete Event System Specification Algorithms 

    Adekunle, Onaopepo Husamat (AUST, 2014-12-15)
    Discrete Event System Specification (DEVS) formalism is a Modeling and Simulation (M&S) framework that provides a means of specifying systems. It separates a model from its simulator. The former describes the structure and ...