Formalizing for Proving the System Safety of the Software Component for a Small Sized Guided Transport System.

Amine Hamidi, Simon Collart Dutilleul, Philippe Bon

Browse the full CRiSIS paper archive.