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 journal › Article › peer-review

Original language	English
Number of pages	19
Journal	Ingeniería Y Competitividad
Volume	25
Issue number	e-20713144
DOIs	https://doi.org/10.25100/iyc.v25iSuplemento.13144
Publication status	Published - 29 Nov 2023

Access to Document

@article{e719e83ed10f4aa9a6714cb035455407,

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

author = "{Ortiz Vega}, {James Jerson} and {ARANDA BUENO}, {Jesus Alexander} and {BETANCOURT ARIAS}, {Joan Sebastian}",

year = "2023",

month = nov,

day = "29",

doi = "10.25100/iyc.v25iSuplemento.13144",

language = "English",

volume = "25",

journal = "Ingenier{\'i}a Y Competitividad",

issn = "0123-3033",

number = "e-20713144",

}

TY - JOUR

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

AU - Ortiz Vega, James Jerson

AU - ARANDA BUENO, Jesus Alexander

AU - BETANCOURT ARIAS, Joan Sebastian

PY - 2023/11/29

Y1 - 2023/11/29

U2 - 10.25100/iyc.v25iSuplemento.13144

DO - 10.25100/iyc.v25iSuplemento.13144

M3 - Article

SN - 0123-3033

VL - 25

JO - Ingeniería Y Competitividad

JF - Ingeniería Y Competitividad

IS - e-20713144

ER -