Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking.

Aziz Sfar, David Carral, Dina Irofti, Madalina Croitoru

Browse the full FMICS paper archive.