First Page | Document Content | |
---|---|---|
![]() Date: 2014-10-30 17:26:17Software engineering Computing Theoretical computer science Formal methods UML diagrams Model checking Finite-state machine ALGOL 68 UML state machine Models of computation Automata theory Digital electronics | Source URL: flux.cs.queensu.caDownload Document from Source WebsiteFile Size: 1,18 MBShare Document on Facebook |