( en | de | ru )

 

Disambiguierung von "Aichernig, Bernhard K."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Learning minimal automata with recurrent neural networks.

, , , , und . Softw. Syst. Model., 23 (3): 625-655 (Juni 2024)

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.

Aman K K Bhasin

K Schaber

K Beheng

K Schweizerhof

K Dugaev

 

Weitere Publikationen von Autoren mit dem selben Namen

The Science of Killing Bugs in a Black Box - (Keynote Talk).. SBLP, Volume 7554 von Lecture Notes in Computer Science, Seite 6-11. Springer, (2012)Time for Mutants - Model-Based Mutation Testing with Timed Automata., , und . TAP, Volume 7942 von Lecture Notes in Computer Science, Seite 20-38. Springer, (2013)Scalable Incremental Test-case Generation from Large Behavior Models., , und . TAP, Volume 9154 von Lecture Notes in Computer Science, Seite 1-18. Springer, (2015)Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking, und . MBT, Volume 80 von EPTCS, Seite 88-102. (2012)Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles., , , , und . ICTSS, Volume 10533 von Lecture Notes in Computer Science, Seite 293-310. Springer, (2017)Model-Based Mutation Testing of Reactive Systems - From Semantics to Automated Test-Case Generation.. Theories of Programming and Formal Methods, Volume 8051 von Lecture Notes in Computer Science, Seite 23-36. Springer, (2013)Conformance Testing of Hybrid Systems with Qualitative Reasoning Models., , und . MBT@ETAPS, Volume 253 von Electronic Notes in Theoretical Computer Science, Seite 53-69. Elsevier, (2009)Modeling and Testing Multi-Threaded Asynchronous Systems with Creol., , , und . TTSS, Volume 243 von Electronic Notes in Theoretical Computer Science, Seite 3-14. Elsevier, (2008)Resource Modeling for Timed Creol Models., , , und . TTSS, Volume 266 von Electronic Notes in Theoretical Computer Science, Seite 63-75. Elsevier, (2009)Automata Learning for Symbolic Execution., , , , und . FMCAD, Seite 1-9. IEEE, (2018)