UM
(Note: the search results are based on claimed items)

Browse/Search Results:  1-2 of 2 Help

Filters        
Selected(0)Clear Items/Page:    Sort:
Specification and simulation of a concurrent real-time system Conference paper
Proceedings - International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1999, Los Angeles, CA, USA, USA, 17-18 May 1999
Authors:  Li X.
Favorite  |  View/Download:3/0  |  Submit date:2019/02/14
Interval Temporal Logic  Concurrent Real-time Systems  Executable Speci cation  Simulation And Veri cation  
Specification and simulation of a concurrent real-time system Journal article
International Workshop on Software Engineering for Parallel and Distributed Systems, Proceedings, 1999,Page: 197-204
Authors:  Li Xiaoshan
Favorite  |  View/Download:1/0  |  Submit date:2019/02/14