Protocol verification using discrete-event models

Discrete Event Systems: Models and Applications - Lecture Notes in Control and Information Sciences ◽

10.1007/bfb0042307 ◽

2006 ◽

pp. 100-114

Author(s):

Michał Sajkowski

Keyword(s):

Discrete Event ◽

Protocol Verification ◽

Event Models

Multi-Level Optimization with Aggregated Discrete-Event Models

2020 Winter Simulation Conference (WSC) ◽

10.1109/wsc48552.2020.9383990 ◽

2020 ◽

Author(s):

Simon Lidberg ◽

Tehseen Aslam ◽

Amos H.C. Ng

Keyword(s):

Discrete Event ◽

Event Models ◽

Multi Level

Mapping Modular, Hierarchical Discrete Event Models in a Hypercube Multicomputer

Massively Parallel Processing Applications and Development ◽

10.1016/b978-0-444-81784-6.50077-4 ◽

1994 ◽

pp. 625-632 ◽

Cited By ~ 1

Author(s):

Yeong Rak Seong ◽

Tag Gon Kim ◽

Kyu Ho Park

Keyword(s):

Discrete Event ◽

Event Models

Mapping hierarchical, modular discrete event models in a hypercube multicomputer

Simulation Practice and Theory ◽

10.1016/0928-4869(95)00004-d ◽

1995 ◽

Vol 2 (6) ◽

pp. 257-275 ◽

Cited By ~ 4

Author(s):

Yeong Rak Seong ◽

Tag Gon Kim ◽

Kyu Ho Park

Keyword(s):

Discrete Event ◽

Event Models

DISCRETE-EVENT MODELS OF MANUFACTURING SYSTEMS

Theory and Practice of Control and Systems ◽

10.1142/9789814447317_0124 ◽

1999 ◽

Author(s):

E. CANUTO

Keyword(s):

Manufacturing Systems ◽

Discrete Event ◽

Event Models

Discrete-event models for conservation assessment of integrated ecosystems

Ecological Informatics ◽

10.1016/j.ecoinf.2020.101205 ◽

2020 ◽

pp. 101205

Author(s):

C. Gaucherel ◽

C. Carpentier ◽

I.R. Geijzendorffer ◽

C. Noûs ◽

F. Pommereau

Keyword(s):

Discrete Event ◽

Conservation Assessment ◽

Event Models

A Computer Support System for Manufacturing Based on Discrete Event Models

CIRP Annals ◽

10.1016/s0007-8506(07)62029-0 ◽

1991 ◽

Vol 40 (1) ◽

pp. 459-462 ◽

Cited By ~ 2

Author(s):

H.E. Islo ◽

G. Sohlenius

Keyword(s):

Support System ◽

Discrete Event ◽

Computer Support ◽

Event Models

A multi-formalism modeling composability framework: agent and discrete-event models

Ninth IEEE International Symposium on Distributed Simulation and Real-Time Applications ◽

10.1109/distra.2005.4 ◽

2005 ◽

Cited By ~ 8

Author(s):

Hessam Sarjoughian ◽

Dongping Huang

Keyword(s):

Discrete Event ◽

Event Models

Discrete-Event Models of Mixed-Phenotype Plasmodium falciparum Malaria

SIMULATION ◽

10.1177/003754979907300403 ◽

1999 ◽

Vol 73 (4) ◽

pp. 213-217 ◽

Cited By ~ 5

Author(s):

F. Ellis McKenzie ◽

Roger C. Wong ◽

William H. Bossert

Keyword(s):

Plasmodium Falciparum ◽

Falciparum Malaria ◽

Discrete Event ◽

Plasmodium Falciparum Malaria ◽

Event Models ◽

Mixed Phenotype

A methodology for the decomposition of discrete event models for parallel simulation

1993 Euromicro Workshop on Parallel and Distributed Processing ◽

10.1109/empdp.1993.336359 ◽

2002 ◽

Author(s):

S.J.E. Taylor ◽

S.C. Winter ◽

D.R. Wilson

Keyword(s):

Discrete Event ◽

Parallel Simulation ◽

Event Models

Efficient Flattening Algorithm for Hierarchical and Dynamic Structure Discrete Event Models

ACM Transactions on Modeling and Computer Simulation ◽

10.1145/2875356 ◽

2016 ◽

Vol 26 (4) ◽

pp. 1-25 ◽

Cited By ~ 5

Author(s):

Jang Won Bae ◽

Sang Won Bae ◽

Il-Chul Moon ◽

Tag Gon Kim

Keyword(s):

Discrete Event ◽

Dynamic Structure ◽

Event Models