EventB2Maude : probabilistic modeling and statistical model checking for event-B with probabilistic rewrite theories and MultiVeStA

Rocha Niño, Hernán CamiloOsorio Valencia, Daniel Fabián2024-06-142024-06-142023http://hdl.handle.net/11522/256481 p.application/pdfengEventB2Maude : probabilistic modeling and statistical model checking for event-B with probabilistic rewrite theories and MultiVeStAhttp://purl.org/coar/resource_type/c_7a1fhttps://creativecommons.org/licenses/by-nc-nd/4.0/http://purl.org/coar/access_right/c_abf2