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