( en | de | ru )

 

Disambiguierung von "Wotawa, Franz"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Automated (F) LTL Test Oracle for Testing with Requirements.

, und . ISSRE Workshops, Seite 197-204. IEEE Computer Society, (2016)

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.

Nicolas Wotawa

Florian Franz

Realzeittest von Fahrzeugsoftware-Komponenten. TU München, (2009)

Stephanie Franzkowiak

Nicole Franz

Simon Franzmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Debugging VHDL designs using model-based reasoning.. Artif. Intell. Eng., 14 (4): 331-351 (2000)Combining Slicing and Constraint Solving for Better Debugging: The CONBAS Approach., und . Adv. Softw. Eng., (2012)Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software., , und . ICST Workshops, Seite 14-17. IEEE, (2020)QR-Model Based Testing., , und . AST, Seite 17-20. ACM, (2008)Extracting information from driving data using k-means clustering (S)., , und . SEKE, Seite 610-615. KSI Research Inc., (2021)An introduction to model-based systems., , und . AI Commun., 20 (1): 1-6 (2007)Binding Environmental Sciences and Artificial Intelligence., , und . AI Commun., 18 (4): 243-245 (2005)Planning-Based Security Testing of the SSL/TLS Protocol., , , und . ICST Workshops, Seite 347-355. IEEE Computer Society, (2017)Debugging VHDL Designs Using Temporal Process Instances., , und . IEA/AIE, Volume 2718 von Lecture Notes in Computer Science, Seite 402-415. Springer, (2003)Fault Localization Based on Abstract Dependencies., und . IEA/AIE, Volume 3533 von Lecture Notes in Computer Science, Seite 357-359. Springer, (2005)