Treffer 1 – 6 von 6 für Suche 'Bogomolov, Sergiy', Suchdauer: 0,05s
Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems von Bogomolov, Sergiy
Veröffentlicht 2021Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
2
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control von Bogomolov, Sergiy
Veröffentlicht 2021Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
3
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers
Veröffentlicht 2017Weitere Verfasser: “… Bogomolov, Sergiy …”
Signatur: Wird geladen …
Standort: Wird geladen …
Volltext öffnenWird geladen …Volltext öffnen
Elektronisch Tagungsbericht E-Book -
4
Formal modeling and analysis of timed systems 20th international conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, proceedings
Veröffentlicht 2022Weitere Verfasser: “… Bogomolov, Sergiy …”
Signatur: Wird geladen …
Standort: Wird geladen …
Volltext öffnenWird geladen …Volltext öffnen
Elektronisch Tagungsbericht E-Book -
5
Formal modeling and analysis of timed systems 20th international conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022 : proceedings
Veröffentlicht 2022Weitere Verfasser: “… Bogomolov, Sergiy …”
Signatur: Wird geladen …
Standort: Wird geladen … -
6
Numerical software verification 9th international workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers
Veröffentlicht 2017Weitere Verfasser: “… Bogomolov, Sergiy …”
Signatur: Wird geladen …
Standort: Wird geladen …