Applying parallelism to a bisimulation algorithm to improve efficiency in software testing of time-critical systems

James Jerson Ortiz Vega, Jesus Alexander ARANDA BUENO, Joan Sebastian BETANCOURT ARIAS

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Number of pages19
JournalIngeniería Y Competitividad
Issue numbere-20713144
Publication statusPublished - 29 Nov 2023

Cite this