Wir laden Sie zur nächsten Sitzung des Seminars KriKTehS ein. Sie findet am 14. April 2023 um 15:30 Uhr online statt. Thema: Methoden und Technologien für die Entwicklung und formale Verifikation von Eisenbahnautomatisierungs- und Sicherheitssystemen.
Referenten:

• Vitaliy Gaevskyi, Ph.D., Direktor von RAILWAYAUTOMATIC®, Charkiw
• Alexei Iliasov, Direktor von Formal Route Ltd, Newcastle, Großbritannien

Google Meet: https://meet.google.com/coh-ieee-pfr
Liveübertragung: video.csn.khai.edu