Modeling and quantitative analysis of discrete event systems: A statecharts based approach

DOI10.1016/S0928-4869(97)00029-3zbMath0906.68209OpenAlexW2027678894MaRDI QIDQ4214200

Pablo Gruer, B. Mazigh, Abder Koukam

Publication date: 14 February 1999

Published in: Simulation Practice and Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0928-4869(97)00029-3

zbMATH Keywords

finite state automata

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

This page was built for publication: Modeling and quantitative analysis of discrete event systems: A statecharts based approach