Publisher： 汉斯出版社
ISSN： 2325-2278
Source： Software Engineering and Applications, Vol.3, Iss.3, 2014-06, pp. : 70-77
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Access to resources
Recommend
Z2SAL: a translation-based model checker for Z
By Derrick John
Formal Aspects of Computing, Vol. 23, Iss. 1, 2011-01 ,pp. :
By Appel Andrew Michael Neophytos Stump Aaron Virga Roberto
Journal of Automated Reasoning, Vol. 31, Iss. 3-4, 2003-11 ,pp. :
Optimal control as a graphical model inference problem
By Kappen Hilbert Gómez Vicenç Opper Manfred
Machine Learning, Vol. 87, Iss. 2, 2012-05 ,pp. :