VXWORKS系统并发程序动态测试工具设计The Design of Dynamic Checking Tool for VXWORKS Systems Concurrent Program

ISSN： 2325-2278

Source： Software Engineering and Applications, Vol.3, Iss.3, 2014-06, pp. : 86-96

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Symmetry reductions for model checking of concurrent dynamic software

By Iosif Radu

International Journal on Software Tools for Technology Transfer, Vol. 6, Iss. 4, 2004-08 ,pp. : 302-319

Springer Publishing Company

Access to resources Recommend Favorite

Game-theoretic simulation checking tool

By Bulychev P.

Programming and Computer Software, Vol. 37, Iss. 4, 2011-07 ,pp. : 200-209

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

A software tool for algebraic design of interval systems control

By Matusu Radek

International Journal of Computational Science and Engineering, Vol. 5, Iss. 3-4, 2010-12 ,pp. : 262-268

Inderscience Publishers

Access to resources Recommend Favorite

Concurrent Design, Modeling and Analysis of Microelectromechanical Systems Products - Design for ‘X’ Abilities

Micro and Nanosystems, Vol. 4, Iss. 1, 2012-02 ,pp. : 56-74

Bentham Science Publishers

Access to resources Recommend Favorite

αSPIN: A tool for abstract model checking

By del Mar Gallardo María Martínez Jesús Merino Pedro Pimentel Ernesto

International Journal on Software Tools for Technology Transfer, Vol. 5, Iss. 2-3, 2004-03 ,pp. : 165-184

Springer Publishing Company

Access to resources Recommend Favorite