Formal Safety Analysis in Industrial Practice.

Ilyas Daskaya, Michaela Huhn, Stefan Milius

Browse the full FMICS paper archive.