( en | de | ru )

 

Disambiguierung von "Wotawa, Franz"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Static Spreadsheet Analysis.

, , und . ISSRE Workshops, Seite 167-174. 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)

Ulrich Franz

Friedrich Franz

Josef Franz

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Error traces in model-based debugging of hardware description languages., und . AADEBUG, Seite 43-48. ACM, (2005)QR-Model Based Testing., , und . AST, Seite 17-20. ACM, (2008)Planning-Based Security Testing of the SSL/TLS Protocol., , , und . ICST Workshops, Seite 347-355. IEEE Computer Society, (2017)Attack Pattern-Based Combinatorial Testing with Constraints for Web Security Testing., , , , , und . QRS, Seite 207-212. IEEE, (2015)The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets., , , , , , und . QSIC, Seite 139-148. IEEE, (2013)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)Diagnosing Program Errors with Light-Weighted Specifications., und . IEA/AIE, Volume 4031 von Lecture Notes in Computer Science, Seite 639-649. Springer, (2006)