Formal Methods and Tools Laboratory (FMT)

home | people | topics | projects | publications | software | news


Projects  

ASTRail - SAtellite-based Signalling and Automation SysTems on Railways along with Formal Method and Moving Block validation

STINGRAY - SmarT station INtelliGent RAilwaY

comments to Stefania Gnesi