( en | de | ru )

 

Disambiguierung von "Kowalewski, Stefan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Analyzing the Restart Behavior of Industrial Control Applications.

, , , , und . FM, Volume 9109 von Lecture Notes in Computer Science, Seite 585-588. Springer, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Stefan Kowalewski

Stefan Kowalewski

Christoph Kowalewski

Psychische Störungen bei Kindern und Jugendlichen in ambulanter kinder- und jugendpsychiatrischer Versorgung: vergleichende Analyse zur Diagnosenverteilung im Klientel kinder- und jugendpsychiatrischer Praxen in Deutschland. Uni Marburg, (2009)

Reinhard Kowalewski

Jan Kowalewski

 

Weitere Publikationen von Autoren mit dem selben Namen

Distributed Model Predictive Pose Control of Multiple Nonholonomic Vehicles., , , , und . IV, Seite 1620-1625. IEEE, (2019)Cycle-bounded model checking of PLC software via dynamic large-block encoding., , und . SAC, Seite 1891-1898. ACM, (2018)A Dynamic Service-Oriented Software Architecture for Highly Automated Vehicles., , , , , , , und . ITSC, Seite 2101-2108. IEEE, (2019)The effect of real-time software reuse in FPGAs and microcontrollers with respect to software faults., und . SIES, Seite 141-148. IEEE, (2008)A platoon of vehicles approaching an intersection: A testing platform for safe intersections., , und . ITSC, Seite 1918-1923. IEEE, (2012)An Evaluation of two Recent Reachability Analysis Tools for Hybrid Systems., und . ADHS, Volume 39 von IFAC Proceedings Volumes, Seite 377-382. Elsevier, (2006)Design and Verification of Restart-Robust Industrial Control Software., und . IFM, Volume 11023 von Lecture Notes in Computer Science, Seite 47-68. Springer, (2018)Direct Support for Model Checking Abstract State Machines by Utilizing Simulation, , , und . ABZ, Volume 5238 von Lecture Notes in Computer Science, Seite 112--124. Springer, (2008)Controlled Natural Languages for Hazard Analysis and Risk Assessment., , , , und . CNL, Volume 304 von Frontiers in Artificial Intelligence and Applications, Seite 41-51. IOS Press, (2018)Concolic test generation for PLC programs using coverage metrics., , , , und . WODES, Seite 432-437. IEEE, (2016)