Login / Signup

Survey on Formal Methods and Tools in Railways: The ASTRail Approach.

Alessio FerrariMaurice H. ter BeekFranco MazzantiDavide BasileAlessandro FantechiStefania GnesiAndrea PiattinoDaniele Trentini
Published in: RSSRail (2019)
Keyphrases