Вы здесь

Nunez M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Acceptance Trees for Probabilistic Processes 1995 Nunez M., De Frutos D., Llana L. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 14.10.1995
СТ A Second Year Course on Data Structures Based on Functional Programming 1995 Nunez M., Palao P., Pena R. Lecture Notes in Computer Science 30.01.1996
СТ A New Look at Pattern Matching in Abstract Data Types 1996 Gostanza P. P., Pena R., Nunez M. SIGPLAN Notices 11.09.1996
СТ Testing Semantics for Unbounded Nondeterminism 1997 Diaz L.F. L., Nunez M. Lecture Notes in Computer Science 24.10.1997
СТ An Axiomatization of Probabilistic Testing 1999 Nunez M. Lecture Notes in Computer Science 18.06.1999
СТ Stochastic Process Algebras Meet Eden 2002 Lopez N., Nunez M., Rubio F. Lecture Notes in Computer Science 21.06.2002
СТ Encoding PAMR into (Timed) EFSMs 1900 Nunez M., Rodriguez I. Lecture Notes in Computer Science 29.11.2002
СТ Fast Testing of Critical Properties through Passive Testing 2003 Arnedo J. A., Cavalli A., Nunez M. Lecture Notes in Computer Science 07.06.2003
СТ TestNet: Let s Test Together! 2003 Cavalli A., De Oca E. M., Nunez M. Lecture Notes in Computer Science 07.06.2003
СТ Towards Testing Stochastic Timed Systems 2003 Nunez M., Rodriguez I. Lecture Notes in Computer Science 26.12.2003
СТ Formal Specification of Symbolic-Probabilistic Systems 2004 Lopez N., Nunez M., Rodriguez I. Lecture Notes in Computer Science Lecture Notes in Computer Science 29.12.2004
СТ Weak Stochastic Bisimulation for Non-Markovian Processes 2005 Lopez N., Nunez M. Lecture Notes in Computer Science Lecture Notes in Computer Science 29.11.2005

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Applying Formal Methods: Testing, Performance, and M/E-Commerce: Proc./FORTE 2004 Workshops The FormEMC, EPEW, ITM. Toledo, Spain, October 2004 2004 Lecture Notes in Computer Science
  1. Nunez M.
  2. Maamar Z.
  3. Pelayo F. L.
  4. Pousttchi K.
29.12.2004
СБ Formal Techniques for Networked and Distributed Systems - FORTE 2004: Proc./24th IFIP WG 6.1 International Conference. Madrid, Spain, September 2004 2004 Lecture Notes in Computer Science
  1. De Frutos-Escrig D.
  2. Nunez M.
21.01.2005
СБ Web Services and Formal Methods: Proc./Third International Workshop, WS-FM 2006. Vienna, Austria, September 2006 2006 Lecture Notes in Computer Science
  1. Bravetti M.
  2. Nunez M.
  3. Zavattaro G.
20.10.2006
СБ Testing of Software and Communication Systems: Proc./21st IFIP WG 6.0 Intl Conf., TESTCOM 2009 and 9th Intl WS, FATES 2009, Eindhoven, The Netherlands, November 2009 2009 Lecture Notes in Computer Science
  1. Nunez M.
  2. Baker P.
  3. Merayo M. G.
03.02.2010
СБ Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 2013 2014 Lecture Notes in Computer Science
  1. Counsell S.
  2. Nunez M.
22.04.2014
СБ Formal Methods for Industrial Critical Systems: Proc./20th International Workshop, FMICS 2015, Oslo, Norway, June 2015 2015 Lecture Notes in Computer Science
  1. Nunez M.
  2. Gudemann M.
22.07.2015
СБ Computational Collective Intelligence, Part II: Proc./7th International Conference, ICCCI 2015, Madrid, Spain, September 2015 2015 Lecture Notes in Artificial Intelligence
  1. Nunez M.
  2. Nguyen N. T.
  3. Camacho D.
  4. Trawinski B.
19.02.2016
СБ Computational Collective Intelligence, Part I: Proc./7th International Conference, ICCCI 2015, Madrid, Spain, September 2015 2015 Lecture Notes in Artificial Intelligence
  1. Nunez M.
  2. Nguyen N. T.
  3. Camacho D.
  4. Trawinski B.
19.02.2016