DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems.

Ki Jung Hong Tag Gon Kim

Published in: Inf. Softw. Technol. (2006)

Keyphrases

specification language
discrete event
discrete event systems
database
mathematical model
response time
dynamic systems
sensor networks
programming language
complex systems
petri net
formal specification
description language
mathematical modeling
software environment
failure diagnosis