Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines., und . Autom. Control. Comput. Sci., 51 (7): 516-522 (2017)On adaptive experiments for nondeterministic finite state machines., , , und . Int. J. Softw. Tools Technol. Transf., 18 (3): 251-264 (2016)Studying Synchronization Issues for Extended Automata., und . ENASE, Seite 338-345. SCITEPRESS, (2023)Deriving FSM-based tests using $a, b-faults$ for Logic Circuits., , , und . ISVLSI, Seite 80-85. IEEE, (2022)Testing Nondeterministic Finite State Machines with Respect to the Separability Relation., , und . TestCom/FATES, Volume 4581 von Lecture Notes in Computer Science, Seite 305-318. Springer, (2007)Fault Detection within a Component of a System of Communicating FSMs., , und . TestCom, Volume 210 von IFIP Conference Proceedings, Seite 317-. Kluwer, (2002)Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts., , und . ICTSS, Volume 11146 von Lecture Notes in Computer Science, Seite 149-154. Springer, (2018)Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations., , , , und . IWLS, Seite 45-50. (2002)Evaluating Length of a Shortest Adaptive Homing Sequence for Weakly Initialized FSMs., und . EWDTS, Seite 1-5. IEEE, (2020)Testing components of interacting timed finite state machines., , und . EWDTS, Seite 1-4. IEEE Computer Society, (2016)