中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-6 of 6)

Items/Page:    Sort:
A temporal programming model with atomic blocks based on projection temporal logic [期刊论文]
Frontiers of Computer Science, 2014-01-01
Yang, Xiaoxiao (1); Zhang, Y. (1); Fu, Ming (2); Feng, Xinyu (2)

 
a concurrent temporal programming model with atomic blocks [会议论文]
14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12, 2012 - November 16, 2012
Yang Xiaoxiao; Zhang Yu; Fu Ming; Feng Xinyu

 
a probabilistic variant of projection temporal logic [会议论文]
Recent Advances in Computer Science and Information Engineering Volume 3, Changchun, China, June 17, 2011 - June 19, 2011
Yang Xiaoxiao

 
probabilistic model checking on propositional projection temporal logic [会议论文]
International MultiConference of Engineers and Computer Scientists 2011, IMECS 2011, Kowloon, Hong kong, March 16,
Yang Xiaoxiao
  |  
 
axiomatic semantics of projection temporal logic programs [会议论文]
6th International Conference on Theory and Application of Models of Computation (TAMC 09), Changsha, PEOPLES R CHINA, MAY 18-22,
Yang Xiaoxiao; Duan Zhenhua; Ma Qian

 
axiomatic temporal logic programs verification [会议论文]
2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, August 25,
Yang Xiaoxiao; Duan Zhenhua
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace