Formal verifizierbare objektorientierte Systemspezifikationen mit UML für EisenbahnsicherungssystemeSaeid ArabestaniVypredanáPostrážiť
