Author of the publication

Analysis of Real-Time Concurrent System Models based on CSP Using Stochastic Petri Nets.

. ESM, page 776-783. SCS Europe, (1998)

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

Reliability analysis of CSP specifications using Petri nets and Markov processes., , , and . HICSS (2), page 516-524. IEEE Computer Society, (1995)Multi-Agent System Case Studies in Command and Control, Information Fusion and Datat Managment., , and . Informatica (Slovenia), 28 (1): 78-89 (2004)Security Analysis of Smart Grid Cyber Physical Infrastructures Using Game Theoretic Simulation., and . SSCI, page 455-462. IEEE, (2015)Moving Toward Trustworthy Systems: R&D Essentials., and . Computer, 43 (9): 31-40 (2010)Composing, analyzing and validating software models to assess the performability of competing design candidates., and . Ann. Softw. Eng., (1999)Examining Coincident Failures and Usage Profiles in Reliability Analysis of an Embedded Vehicle Sub-System., , and . ESM, page 558-563. SCS Europe, (2002)On quantum authentication protocols., , , and . GLOBECOM, page 5. IEEE, (2005)Improving Cyber Resiliency of Cloud Application Services by Applying Software Behavior Encryption (SBE)., , , , , , , and . CSER, volume 28 of Procedia Computer Science, page 62-70. Elsevier, (2014)An outline of the three-layer survivability analysis architecture for strategic information warfare research., , and . CSIIRW, page 28. ACM, (2009)An Adaptive Deep-Ensemble Anomaly-Based Intrusion Detection System for the Internet of Things., and . AIIoT, page 187-196. IEEE, (2021)