Formal verifizierbare objektorientierte Systemspezifikationen mit UML für EisenbahnsicherungssystemeSaeid ArabestaniÉpuisé4,3Prévenez-moi
