Author of the publication

Software monitoring through formal specification animation.

, , , and . Innov. Syst. Softw. Eng., 5 (4): 231-241 (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Parameter Calculation and Working Characteristic Analysis of a New Type of Magnetic Integrated CRT., , , and . IEEE Access, (2022)Tracking Snow Variations in the Northern Hemisphere Using Multi-Source Remote Sensing Data (2000-2015)., , , , , and . Remote Sensing, 10 (1): 136 (2018)Robust power allocation with SINR target based on Lyapunov stability approach for cognitive radio networks., , and . APCC, page 1-6. IEEE, (2017)Integral-Algebraic Equations: Theory of Collocation Methods I., and . SIAM J. Numer. Anal., 51 (4): 2238-2259 (2013)Stability of Runge-Kutta methods in the numerical solution of linear impulsive differential equations., , and . Appl. Math. Comput., 192 (2): 346-357 (2007)The Convergence of Collocation Solutions in Continuous Piecewise Polynomial Spaces for Weakly Singular Volterra Integral Equations., and . SIAM J. Numer. Anal., 57 (4): 1875-1896 (2019)Stability analysis of Runge-Kutta methods for systems u'(t) = Lu(t) + Mu(t)., , and . Appl. Math. Comput., (2014)A new multi-domain method based on an analytical control surface for linear and second-order mean drift wave loads on floating bodies., and . J. Comput. Phys., (2017)A Multi-Task Learning CNN for Image Steganalysis., , , , and . WIFS, page 1-7. IEEE, (2018)Fractional Snow-Cover Mapping Based on MODIS and UAV Data over the Tibetan Plateau., , , , and . Remote. Sens., 9 (12): 1332 (2017)