Sage Journals: Discover world-class research

Retricted access

Research article

First published 2016-11-17

Semantics and Execution Time of New Timed Statecharts

Jan Magott, Paweł Skrobanek

Fundamenta Informaticae

Open access

Research article

First published 2025-3

STL4IoT: a statechart template library for IoT system design

Clyde Rempillo, Sadaf Mustafiz

SIMULATION

Retricted access

Research article

First published 2006-2

STATECHARTS COMPOSITION TO MODEL TOPOLOGICALLY DISTRIBUTED APPLICATIONS

Michele Banci, Alessandro Fantechi, Stefania Gnesi

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 2017-4

Debugging Parallel DEVS

Simon Van Mierlo, Yentl Van Tendeloo, Hans Vangheluwe

SIMULATION

Retricted access

Research article

First published 2015-10

Action-level real-time DEVS modeling and simulation

Hessam S Sarjoughian, Soroosh Gholami

SIMULATION

Retricted access

Other

First published 1996-01

Object-Oriented Analysis,Modeling,and Simulation of a Notional Air Defense System

B.T. Barcio, S. Ramaswamy, R. Macfadzean [...]

SIMULATION

Retricted access

Research article

First published 2013-4

Translation of UML state machines to Modelica: Handling semantic issues

Wladimir Schamai, Peter Fritzson, Chris JJ Paredis

SIMULATION

Retricted access

Research article

First published 2001-5

ENGINEERING PROCESSES - ON AN APPROACH TO REALIZE A DYNAMIC PROCESS CONTROL

Martin Endig, Dirk Jesko

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 2001-8

AUTOMATIC SYNTHESIS OF BEHAVIORAL OBJECT SPECIFICATIONS FROM SCENARIOS

Ismaïl Khriss, Mohammed Elkoutbi, Rudolf K. Keller

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 1999-5

STATE-BASED MODELING OF FLEXIBLE WORKFLOW EXECUTIONS IN DISTRIBUTED ENVIRONMENTS

M. Weske

Journal of Integrated Design and Process Science

Search results