Author of the publication

Performance Analysis of System Model Based on UML State Diagrams and Continuous-time Markov Chains.

, , , and . J. Softw., 5 (9): 974-981 (2010)

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

Sparse coding based orientation estimation for latent fingerprints., , and . Pattern Recognit., (2017)A metamodeling level transformation from UML sequence diagrams to Coq., , and . ICTCS, volume 1231 of CEUR Workshop Proceedings, page 147-157. CEUR-WS.org, (2014)Strategies of Modeling from VDM-SL to JML., and . ALPIT, page 320-323. IEEE Computer Society, (2008)Modelling and Verifying of Medical Diagnosis System Based on Context-Awareness Framework., , and . FCST, page 299-304. IEEE Computer Society, (2010)DirectL: Efficient Radiance Fields Rendering for 3D Light Field Displays., , , , , , and . CoRR, (2024)Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP., , , , and . Formal Aspects Comput., 32 (2-3): 275-314 (2020)A Context-Based Analysis of Intrusion Detection for Policy Violation., , and . CIS, page 692-696. IEEE Computer Society, (2007)Combinatorial Auctions Based Network Resource Allocation Mechanism with High Welfare., , , and . FCST, page 213-218. IEEE Computer Society, (2009)An Innovative Approach to Tackling the Boundary Effect in Adaptive Random Testing., , , and . HICSS, page 262. IEEE Computer Society, (2007)Towards the Mechanized Semantics and Refinement of UML Class Diagrams., , and . APSEC, page 47-54. IEEE, (2019)