Statistical model checking of an energy-saving cyber-physical system in the railway domain.

Davide Basile, Felicita Di Giandomenico, Stefania Gnesi

Browse the full SAC paper archive.