Sage Journals: Discover world-class research

Retricted access

Research article

First published 2021

Metamodel-based formalization of DEVS atomic models

María Julia Blas, Silvio Gonnet

SIMULATION

Retricted access

Review article

First published 2008-9

A Dynamic Model of Stress in the G-DEVS Formalism

Mamadou Seck, Claudia Frydman, Norbert Giambiasi Lsis

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Other

First published 2003-08

A Formal Model Conversion Approach to Developing a DEVS-Based Factory Simulator

Byoung-Kyu Choi, Bum-Chul Park, Jeong-Hyeon Park

SIMULATION

Retricted access

Research article

First published 2012-3

DEVS-FIRE: design and application of formal discrete event wildfire spread and suppression models

Xiaolin Hu, Yi Sun, Lewis Ntaimo

SIMULATION

Retricted access

Research article

First published 2007-07

A Formal Description Specification for Multi-Resolution Modeling Based on DEVS Formalism and its Applications

Liu Baohong

The Journal of Defense Modeling and Simulation: Applications,Methodology,Technology

Retricted access

Research article

First published 2020-12

A DEVS-based pivotal modeling formalism and its verification and validation framework

Kehinde G Samuel, Nourou-Dine M Bouare, Oumar Maïga [...]

SIMULATION

Retricted access

Research article

First published 2004-7

Verifying Collaborative Behavior in Component-Based DEVS Models

Levent Yilmaz

SIMULATION

Retricted access

Research article

First published 2013-1

Principles of Discrete Event System Specification model verification

Hesham Saadawi, Gabriel Wainer

SIMULATION

Retricted access

Research article

First published 2004-04

Combining the Model/View/Control Design Pattern with the DEVS Formalism to Achieve Rigor and Reusability in Distributed Simulation

James Nutaro, Phil Hammonds

The Journal of Defense Modeling and Simulation: Applications,Methodology,Technology

Retricted access

Research article

First published 2005-02

Cell-DEVS/GDEVS for Complex Continuous Systems

Gabriel A. Wainer, Norbert Giambiasi

SIMULATION

Search results