<  Back to the Polytechnique Montréal portal

Probabilistic opacity in refinement-based modeling

Béatrice Bérard, Olga Kouchnarenko, John Mullins and Mathieu Sassolas

Technical Report (2015)

An external link is available for this item
Additional Information: arXiv:1510.04316
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/35091/
Official URL: https://doi.org/10.48550/arxiv.1510.04316
Date Deposited: 18 Apr 2023 15:06
Last Modified: 25 Sep 2024 16:18
Cite in APA 7: Bérard, B., Kouchnarenko, O., Mullins, J., & Sassolas, M. (2015). Probabilistic opacity in refinement-based modeling. (Technical Report). https://doi.org/10.48550/arxiv.1510.04316

Statistics

Dimensions

Repository Staff Only

View Item View Item