Sage Journals: Discover world-class research

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

Retricted access

Research article

First published 2017-11

A formal framework for organization- centered multi-agent system specification: A rewriting logic based approach

Mohamed Amin Laouadi, Farid Mokhati, Hassina Seridi-Bouchelaghem

Multiagent and Grid Systems

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

Retricted access

Research article

First published 2022-5

State-Constraint Transition: A Language for the Formal Specification of Dynamic Cyber-System Requirements

Camille Salinesi, Asmaa Achtaich, Nissrine Souissi [...]

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 2016-5

Specification and verification of reconfigurable multi-agent system architectures

Ahmed Taki Eddine Dib, Kamel Barkaoui, Zaidi Sahnoun

Multiagent and Grid Systems

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

Retricted access

Research article

First published 2005-2

Formal method for automated testing data flow aspects of communications protocols,software,and systems specified in Lotos

Hazem El-Gendy, Nabil El-Kadhi

Journal of Computational Methods in Sciences and Engineering

Open access

Research article

First published 2005-12

On Formal Specification of Emergent Behaviours in Swarm Robotic Systems

Alan FT Winfield, Jin Sa, Mari-Carmen Fernández-Gago [...]

International Journal of Advanced Robotic Systems

Retricted access

Research article

First published 1996-06

From CML to a Model-Based Concurrent Specification Language

Mourad Debbabi

Concurrent Engineering

Retricted access

Research article

First published 2014-3

An introduction to Timed Sequential Machines

Norbert Giambiasi

SIMULATION

Search results