( en | de | ru )

 

Disambiguierung von "Kushik, Natalia"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines.

, , und . CIAA, Volume 6807 von Lecture Notes in Computer Science, Seite 215-224. Springer, (2011)

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.

Natalia Seller

Ichthyosis vulgaris: novel FLG mutations in the German population and high presence of dentritic cells in the epidermis of the atopic subgroup. Uni Münster, (2009)

Natalia Seiden

Natalia Meyer

Natalia Bajraszewski

Natalia Kühn

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Length of Homing Sequences for Nondeterministic Finite State Machines., und . CIAA, Volume 7982 von Lecture Notes in Computer Science, Seite 220-231. Springer, (2013)Scalable QoE Prediction for Service Composition., und . ESaaSA@CLOSER, Seite 16-26. SciTePress, (2015)On Source Code Optimization for Interpreted Languages using State Models., , und . ENASE, Seite 282-287. SciTePress, (2016)Towards Model based Testing for Software Defined Networks., , , , und . ENASE, Seite 440-446. SciTePress, (2018)Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines., , , und . QRS, Seite 315-322. IEEE, (2016)Decreasing the length of adaptive distinguishing experiments for nondeterministic merging-free finite state machines., und . EWDTS, Seite 1-4. IEEE Computer Society, (2015)On using ABC for deriving distinguishing sequences for Verilog-descriptions., , , und . EWDTS, Seite 1-4. IEEE Computer Society, (2015)On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators: (Work in Progress)., , , , und . NCA, Seite 1-3. IEEE, (2020)Studying Synchronization Issues for Extended Automata., und . ENASE, Seite 338-345. SCITEPRESS, (2023)Dynamic Link Network Emulation and Validation of Execution Datasets., , , , , und . ENASE (Selected Papers), Volume 1829 von Communications in Computer and Information Science, Seite 116-138. Springer, (2022)