( en | de | ru )

 

Disambiguierung von "Kowalewski, Stefan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Mode-Aware Concolic Testing for PLC Software - Special Session "Formal Methods for the Design and Analysis of Automated Production Systems".

, und . IFM, Volume 11023 von Lecture Notes in Computer Science, Seite 367-376. Springer, (2018)

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)

Klaus Kowalewski

Walter Kowalewski

 

Weitere Publikationen von Autoren mit dem selben Namen

A platoon of vehicles approaching an intersection: A testing platform for safe intersections., , und . ITSC, Seite 1918-1923. IEEE, (2012)Cycle-bounded model checking of PLC software via dynamic large-block encoding., , und . SAC, Seite 1891-1898. ACM, (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)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)The effect of real-time software reuse in FPGAs and microcontrollers with respect to software faults., und . SIES, Seite 141-148. IEEE, (2008)Distributed Model Predictive Pose Control of Multiple Nonholonomic Vehicles., , , , und . IV, Seite 1620-1625. IEEE, (2019)Analysis of Simulink Models Using Databases and Model Transformations., , , und . MOMPES, Volume 7706 von Lecture Notes in Computer Science, Seite 69-84. Springer, (2012)Concolic test generation for PLC programs using coverage metrics., , , , und . WODES, Seite 432-437. IEEE, (2016)