( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Refinement in Finite State Machine Testing.

, и . Fundam. Informaticae, 64 (1-4): 191-203 (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Florentin Lutz

Florentin Wörgötter

Florentin Moser

Florentin Dietz

Florentin Spengel

 

Другие публикации лиц с тем же именем

Testing Non-Deterministic X-Machines., и . Grammars and Automata for String Processing, том 9 из Topics in Computer Mathematics, стр. 151-162. Taylor and Francis, (2003)Refinement in Finite State Machine Testing., и . Fundam. Informaticae, 64 (1-4): 191-203 (2005)Testing based on identifiable P Systems using cover automata and X-machines., , и . Inf. Sci., (2016)A Kernel P Systems Survey., и . Int. Conf. on Membrane Computing, том 8340 из Lecture Notes in Computer Science, стр. 1-9. Springer, (2013)Eilenberg P Systems., , , и . WMC-CdeA, том 2597 из Lecture Notes in Computer Science, стр. 43-57. Springer, (2002)Using State Diagrams to Generate Unit Tests for Object-Oriented Systems., и . XP, том 3556 из Lecture Notes in Computer Science, стр. 214-217. Springer, (2005)Test generation from P systems using model checking., , и . J. Log. Algebraic Methods Program., 79 (6): 350-362 (2010)Learning finite cover automata from queries.. J. Comput. Syst. Sci., 78 (1): 221-244 (2012)Privacy-preserving Linear Computations in Spiking Neural P Systems., , и . FROM, том 389 из EPTCS, стр. 110-119. (2023)Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine., и . Formal Aspects Comput., 20 (6): 597-617 (2008)