Author of the publication

LSIS_DME M&S environment extended by dynamic hierarchical structure DEVS modeling approach.

, , and . SpringSim (2), page 227-234. SCS/ACM, (2007)

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

LSIS_DME M&S environment extended by dynamic hierarchical structure DEVS modeling approach., , and . SpringSim (2), page 227-234. SCS/ACM, (2007)Timed synchronizing sequences., and . SpringSim (TMS-DEVS), page 21. ACM, (2014)A Pattern-based Approach for Semantic Retrieval of Information Resources in Enterprises - Application Within STMicroelectronics., , , and . ICEIS (1), page 193-200. SciTePress, (2014)Adapting model-based testing techniques to DEVS models validation., , and . SpringSim (TMS-DEVS), page 6. SCS/ACM, (2012)A conceptual framework for the analysis, classification and choice of knowledge-based diagnosis systems., , and . Int. J. Knowl. Based Intell. Eng. Syst., 10 (2): 113-138 (2006)CML-DEVS: A specification language for DEVS conceptual models., , and . Simul. Model. Pract. Theory, (2015)Modeling and Simulation of the SARS-COV-2 Lung Infection and Immune Response with Cell-DEVS., , and . WSC, page 1196-1207. IEEE, (2023)Modeling waiting systems from domain expert specifications., , and . WSC, page 456-460. IEEE Computer Society, (2005)Applying SMT Solvers to the Test Template Framework, and . MBT, volume 80 of EPTCS, page 28-42. (2012)Integrating Z in DEVS : a case study Lift Control System., , and . Software Engineering Research and Practice, page 437-443. CSREA Press, (2008)