Browsing by Author "Osorio Valencia, Daniel Fabian"
Now showing 1 - 1 of 1
Results Per Page
Sort Options
Item EventB2Maude : probabilistic modeling and statistical model checking for event-B with probabilistic rewrite theories and MultiVeStA(Pontificia Universidad Javeriana Cali, 2023) Osorio Valencia, Daniel Fabian; Rocha Niño, Hernán Camilo