You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (113)

Journals (0)

1-10 of 113 results for Discrete-event formalism

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Configuration space–based discrete event system specification formalism for a smart factory with real-time flexibility

Retricted access

Research article

First published 2018-9

Configuration space–based discrete event system specification formalism for a smart factory with real-time flexibility

Dae S Chang, Sang C Park

Concurrent Engineering

Select article: A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation

Retricted access

Research article

First published 2010-10

A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation

Rodrigo Castro, Ernesto Kofman, Gabriel Wainer

SIMULATION

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

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

Select article: SimGine: A simulation engine for stochastic discrete-event systems based on SDES description

Retricted access

Research article

First published 2013-4

SimGine: A simulation engine for stochastic discrete-event systems based on SDES description

Ali Khalili, Mohammad Abdollahi Azgomi, Amir Jalaly Bidgoly

SIMULATION

Select article: An introduction to Timed Sequential Machines

Retricted access

Research article

First published 2014-3

An introduction to Timed Sequential Machines

Norbert Giambiasi

SIMULATION

Select article: Metamodel-based formalization of DEVS atomic models

Retricted access

Research article

First published 2021

Metamodel-based formalization of DEVS atomic models

María Julia Blas, Silvio Gonnet

SIMULATION

Select article: Verifying Collaborative Behavior in Component-Based DEVS Models

Retricted access

Research article

First published 2004-7

Verifying Collaborative Behavior in Component-Based DEVS Models

Levent Yilmaz

SIMULATION

Select article: Transforming classic Discrete Event System Specification models to Specification and Description Language

Retricted access

Research article

First published 2015-3

Transforming classic Discrete Event System Specification models to Specification and Description Language

Pau Fonseca i Casas

SIMULATION

Select article: Practical aspects of the DesignDEVS simulation environment

Retricted access

Research article

First published 2018-4

Practical aspects of the DesignDEVS simulation environment

Rhys Goldstein, Simon Breslav, Azam Khan

SIMULATION

Select article: DEVS-based combat modeling for engagement-level simulation

Retricted access

Research article

First published 2014-7

DEVS-based combat modeling for engagement-level simulation

Kyung-Min Seo, Changbeom Choi, Tag Gon Kim [...]

SIMULATION

1
2
3
•••
12
10 / page

Article type

Publication date

Subjects

Access