Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System.

Andrea Bobbio, Ester Ciancamerla, Giuliana Franceschinis, Rossano Gaeta, Michele Minichino, Luigi Portinale

Browse the full SAFECOMP paper archive.