Work

Introducing probabilistic reasoning within Event-B

Year: 2017

Type: article

Source: Software & Systems Modeling

DOI: 10.1007/s10270-017-0626-5

Authors: Mohamed Amine Aouadhi, Benoît Delahaye, Arnaud Lanoix

Institutions: Centre National de la Recherche Scientifique, Laboratoire des Sciences du Numérique de Nantes, Université de Nantes, Nantes Université

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Agence Nationale de la Recherche

Award: Parametric Analysis of Concurrent Systems

OpenAlex ID: W2761522698

FWCI: 0.199

Cites: 44

Cited by: 5

Related to: 10