( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Specification and Testing of E-Commerce Agents Described by Using UIOLTSs.

, , и . FMOODS/FORTE, том 6117 из Lecture Notes in Computer Science, стр. 78-86. Springer, (2010)

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.

Marco Núñez-Müller

Ismael Núñez-Riboni

Ignacio Javier Núñez Zorriqueta

Tomás Núñez

Elena Núñez Álvarez

 

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

An Effective Algorithm for Compiling Pattern Matching Keeping Laziness., и . GULP-PRODE, стр. 383-394. (1995)The Decay of Axisymmetric Magnetic Fields: A Review of Cowling's Theorem. SIAM Rev., 38 (4): 553--564 (1996)Specification and Testing of E-Commerce Agents Described by Using UIOLTSs., , и . FMOODS/FORTE, том 6117 из Lecture Notes in Computer Science, стр. 78-86. Springer, (2010)A Hierarchy of Equivalences for Probabilistic Processes., и . FORTE, том 5048 из Lecture Notes in Computer Science, стр. 267-282. Springer, (2008)Formal Testing of Timed and Probabilistic Systems.. ICTSS, том 7019 из Lecture Notes in Computer Science, стр. 9-14. Springer, (2011)Passive Testing of Web Services., , и . WS-FM, том 6551 из Lecture Notes in Computer Science, стр. 56-70. Springer, (2010)Self-adaptive fuzzy-timed systems., , и . IEEE Congress on Evolutionary Computation, стр. 115-122. IEEE, (2011)Localized Eigenmodes of the Induction Equation.. SIAM J. Appl. Math., 54 (5): 1254-1267 (1994)PAMR: A Process Algebra for the Management of Resources in Concurrent Systems., и . FORTE, том 197 из IFIP Conference Proceedings, стр. 169-184. Kluwer, (2001)Controllable Test Cases for the Distributed Test Architecture., , и . ATVA, том 5311 из Lecture Notes in Computer Science, стр. 201-215. Springer, (2008)