First Page | Document Content | |
---|---|---|
Date: 2011-04-25 15:32:59Computer science UML diagrams Automata theory Digital electronics Logic in computer science State diagram UML state machine Finite-state machine Stateflow Models of computation Theoretical computer science Applied mathematics | Polyglot: Modeling and Analysis for Multiple Statechart Formalisms Daniel Balasubramanian ˘ areanu ˘Add to Reading ListSource URL: www.isis.vanderbilt.eduDownload Document from Source WebsiteFile Size: 1,53 MBShare Document on Facebook |