First Page | Document Content | |
---|---|---|
Date: 2013-04-03 20:03:57Computer science Automata theory Concurrency Diagrams Petri net Formal verification Temporal logic Finite-state machine Modal logic Models of computation Applied mathematics Theoretical computer science | Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 2: Model-checking of timed transitions systemsAdd to Reading ListSource URL: www.nii.ac.jpDownload Document from Source WebsiteFile Size: 1,60 MBShare Document on Facebook |