TY - JOUR AU - Risco Martín, José Luis AU - Mittal, Saurabh AU - Henares, Kevin AU - Cardenas, Román AU - Arroba, Patricia PY - 2022 DO - 10.1002/spe.3168 SN - 0038-0644 UR - https://hdl.handle.net/20.500.14352/72822 T2 - Software: Practice and Experience AB - Employing Modeling and Simulation (M&S) extensively to analyze and develop complex systems is the norm today. The use of robust M&S formalisms and rigorous methodologies is essential to deal with complexity. Among them, the Discrete Event System... LA - eng PB - Wiley KW - DEVS formalism KW - discrete events KW - modeling and simulation tools KW - parallel simulation KW - simulation performance TI - xDEVS: A toolkit for interoperable modeling and simulation of formal discrete event systems TY - journal article ER -