Modeling and Verifying Hierarchical Real-time Systems using Stateful Timed CSP1 Jun Sun, Yang Liu Singapore University of Technology and Design ´ Jin Song Dong, Yan Liu, Ling Shi and Etienne

First Page		Document Content
Date: 2011-05-04 10:00:40		Modeling and Verifying Hierarchical Real-time Systems using Stateful Timed CSP1 Jun Sun, Yang Liu Singapore University of Technology and Design ´ Jin Song Dong, Yan Liu, Ling Shi and Etienne Add to Reading List Source URL: www.comp.nus.edu.sg Download Document from Source Website File Size: 269,46 KB Share Document on Facebook