Published

Probabilités

Automated generation of partial Markov chain from high level descriptions

Published on - Reliability Engineering and System Safety

Authors: Pierre-Antoine Brameret, Antoine Rauzy, Jean-Marc Roussel

See the publication on HAL DOI