Formal verifizierbare objektorientierte Systemspezifikationen mit UML für EisenbahnsicherungssystemeSaeid ArabestaniVyprodáno4,3Pohlídat