Robotique

Preliminary System Safety Analysis with Limited Markov Chain Generation

Publié le 4 septembre 2013 - 4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2013)

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