DESUMA: A Tool Integrating GIDDES and UMDES
2006pp. 392–393
Citations Over TimeTop 10% of 2006 papers
Abstract
The key features of the software tool DESUMA for the study of discrete event systems modeled by finite-state automata are highlighted. DESUMA is the tool resulting from the integration of the UMDES library of routines for the study of discrete event systems (developed at the University of Michigan) within the graphical environment for visualizing discrete event systems (developed at Mount Allison University)
Related Papers
- → Why Automata Models Are Sexy for Testers? (Invited Talk)(2007)3 cited
- → Testing systems of interacting timed finite state machines with the guaranteed fault coverage(2016)4 cited
- → Discrete event simulation of stochastic and deterministic sequential machine models(1980)2 cited
- → Online Automata: Exemplars of “State”(2009)
- → 6 Autonomous Finite Automata and Sequential Machines(1971)