( en | de | ru )

 

Disambiguierung von "Petrenko, Alexandre"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Covering Transitions of Concurrent Systems through Queues.

, und . ISSRE, Seite 335-345. IEEE Computer Society, (2005)

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.

Nikolaj Petrenko

Olga Petrenko

Alexandre Varnek

Alexandre Martins

Alexandre Darmoise

 

Weitere Publikationen von Autoren mit dem selben Namen

Conformance Relations and Test Derivation., , und . Protocol Test Systems, Volume C-19 von IFIP Transactions, Seite 157-178. North-Holland, (1993)Checking Experiments with Protocol Machines.. Protocol Test Systems, Volume C-3 von IFIP Transactions, Seite 83-94. North-Holland, (1991)FSM Inference from Long Traces., und . FM, Volume 10951 von Lecture Notes in Computer Science, Seite 93-109. Springer, (2018)Implementing MSC Tests with Quiescence Observation., , und . TestCom/FATES, Volume 5826 von Lecture Notes in Computer Science, Seite 49-65. Springer, (2009)Technical Correspondence Comments on Ä Reduced Test Suite for Protocol Conformance Testing".. ACM Trans. Softw. Eng. Methodol., 6 (3): 329-331 (1997)An Automata-Based Approach to Property Testing in Event Traces., , , und . TestCom, Volume 2644 von Lecture Notes in Computer Science, Seite 180-196. Springer, (2003)Specification Based Testing: Towards Practice.. Ershov Memorial Conference, Volume 2244 von Lecture Notes in Computer Science, Seite 287-300. Springer, (2001)Why Automata Models Are Sexy for Testers? (Invited Talk).. Ershov Memorial Conference, Volume 4378 von Lecture Notes in Computer Science, Seite 26. Springer, (2006)Inferring DFA without Negative Examples., und . ICGI, Volume 93 von Proceedings of Machine Learning Research, Seite 17-29. PMLR, (2018)Conformance Tests as Checking Experiments for Partial Nondeterministic FSM., und . FATES, Volume 3997 von Lecture Notes in Computer Science, Seite 118-133. Springer, (2005)