Deriving Safety Software Requirements from an AltaRica System Model.

Sophie Humbert, Christel Seguin, Charles Castel, Jean-Marc Bosc

Browse the full SAFECOMP paper archive.