Showing 1 - 10 results of 10 for search 'Núñez, Manuel', query time: 0.04s Refine Results
  1. 1
    Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
    Published 2015
    Other Authors: “…Núñez, Manuel…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers /
    Published 2014
    Other Authors: “…Núñez, Manuel…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Formal Techniques for Networked and Distributed Systems - FORTE 2004 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings /
    Published 2004
    Other Authors: “…Nunez, Manuel…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings /
    Published 2006
    Other Authors: “…Núñez, Manuel…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings /
    Published 2009
    Other Authors: “…Núñez, Manuel…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers /
    Published 2006
    Other Authors: “…Núñez, Manuel…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Modern Approaches for Intelligent Information and Database Systems
    Published 2018
    Other Authors: “…Nunez, Manuel…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Computational Collective Intelligence 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I /
    Published 2015
    Other Authors: “…Núñez, Manuel…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Computational Collective Intelligence 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II /
    Published 2015
    Other Authors: “…Núñez, Manuel…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Applying Formal Methods: Testing, Performance, and M/E-Commerce FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 /
    Published 2004
    Other Authors: “…Núnez, Manuel…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search